document.write (8472);