document.write('912472');