document.write (3987);