document.writeln('1251')