document.writeln('6934');