document.writeln('6942');