document.write (10725);