document.write('912402');