document.writeln('8942');