document.write("940242")