document.writeln('9312');