document.write(940712);