document.writeln('6750');