document.write("940013")