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