document.writeln('72142');