document.write (3141)