document.write (12708);