document.writeln('1256')