document.write("940072")