document.writeln('9242')