document.writeln('6875');