document.write (" 18750 ");