document.writeln("6800");