var doc = document;
window.onload = function() {
	var
		body = doc.body,
		floatmenu = doc.getElementById('floatmenu'),
		fa = doc.createElement('a');
		h2s=doc.getElementsByTagName('h2'),
		i=0,
		pages = ['index','tips','progs','docs','links'],
		y=pages.length,
		active='';
	while(y--)
		if(location.href.indexOf(pages[y])>-1)
			active = document.getElementById('menu').getElementsByTagName('li')[y].className = 'menuactive';
	if(!active)
		document.getElementById('menu').getElementsByTagName('li')[0].className = 'menuactive';
	while(i<h2s.length) {
		fa = fa.cloneNode(false);
		h2s[i].id = h2s[i].id ? h2s[i].id : (('header' + i) + Math.random());
		fa.href = '#' + h2s[i].id;
		fa.appendChild(doc.createTextNode(h2s[i].innerHTML));
		floatmenu.appendChild(fa);
		fa = fa.cloneNode(false);
		fa.href = '#header';
		fa.title = 'Ga naar het kop van deze pagina';
		fa.appendChild(doc.createTextNode('Top'));
		h2s[i].appendChild(fa);
		i++;
	}
}