document.write("3942");