document.getElementById('gethitmk').innerHTML='9007';