document.getElementById('gethitp').innerHTML='9712';