document.write ("
1252")