document.writeln('5142');