document.write ("9750");