document.write (9708);