document.write("940085")