function verweise () {
	var linkanzahl = document.links.length;
		for (i=0; i<linkanzahl; i++) {
		var verweis = document.links[i];
		var aktuelleseite = window.location.href;		
			if (verweis == aktuelleseite){
			document.getElementById('a'+i).style.color="black";   // aktiver und hover link
			}			
		}
}