document.write ("8750");