document.write("1250 ");