document.writeln("6942");