document.write (1254);