document.write("3942 ");