document.writeln('9642');