document.write("6250");