document.writeln("6250")