document.writeln('10042');