document.write('1252 ')