document.write (8442);