document.write (1259);