document.write (9472);