document.write (8140);