document.writeln("6946");