document.writeln("3942");