document.writeln('9996');