document.writeln("7942");