gvar maxhit=0;
var text=document.body.createTextRange();
function NextHit(x){
return;
}
</script>