document.write("6250")