document.writeln("6700");