document.write (" 8750 ");