document.writeln('9402');