document.write (10472);