document.write ("3942");