document.writeln("6842");