document.writeln('6872');