document.write (1247);