document.writeln('9912');