document.writeln('1272')