<div id='indexDiv'>
   <div id='indexContents'></div>
</div>

els=document.getElementsByTagName('h4');
idx='';
for (i=0; i<els.length; i++) {
  idx += '<a href="#quickIDX'+i+'">'+els[i].innerHTML+'</a><BR>';
  els[i].innerHTML='<a name="quickIDX'+i+'"></a>'+els[i].innerHTML;
}
if (!els.length) {
  document.getElementById('indexDiv').style.display='none';
} else {
  document.getElementById('indexContents').innerHTML=idx;
}