document.write (9987);