document.write (1251);