document.writeln("6934");