document.write("940493")