document.write ("1250 ");