document.write (8143);