document.write (" 9750 ");