document.write (8072);