document.writeln('1142')