document.writeln('6812');