document.write ("3942 ");