document.write('0000072');