document.write('74012')