document.write (7995);