document.write ("6250")