document.writeln('7042');