document.write (8072)