document.writeln("1252")