document.write (9425);