document.writeln("6250");