document.writeln("8750");