document.write('0603\n');