document.write (" 7250 ");