document.writeln("6714");