document.write (" 31250 ");