function updateIndex() {
	var indexHTM='';
	var items = document.getElementsByTagName("h3");
	for(var x=0;x!=items.length;x++){
			if(x==0) { indexHTM='<H4>deze pagina</H4>';}
			var thisItem = items[x].innerHTML;
			items[x].innerHTML=thisItem+'<a name="'+thisItem+'"></a>';
			indexHTM=indexHTM+'<p><a href="#'+thisItem+'">'+thisItem+'</a>&nbsp;</p>'			
	}
	var obj= document.getElementById("LeftPanel");
	if (obj) {
		var indexHTM=indexHTM+obj.innerHTML;
		obj.innerHTML=indexHTM;
	}
}