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