document.write(" 6250");