document.write ("8750")