document.write( ' 1252 ')