document.write ("18750");