document.write(' 1251 ');