document.writeln('1252');