document.write(940712)