document.writeln('6931')