document.write (" 11250 ");