document.write (9995);