window.gethit.innerHTML='19937';