/* --- Image-Hover, alle Bilder in einem benennbaren div werden gewechselt ----------  */
var mouseOvers = new Array();
var mouseOuts = new Array();

function startButtons() {
	var nav = document.getElementById('top_navigation');
	var imgs = nav.getElementsByTagName('img');
	for (var i=0;i<imgs.length;i++)	{
		imgs[i].onmouseover = mouseGoesOver;
		imgs[i].onmouseout = mouseGoesOut;
		var suffix = imgs[i].src.substring(imgs[i].src.lastIndexOf('.'));
		mouseOuts[i] = new Image();
		mouseOuts[i].src = imgs[i].src;
		mouseOvers[i] = new Image();
		mouseOvers[i].src = imgs[i].src.substring(0,imgs[i].src.lastIndexOf('.')) + "_over" + suffix;
		imgs[i].number = i;
	}
}

function mouseGoesOver(){this.src = mouseOvers[this.number].src;}
function mouseGoesOut() {this.src = mouseOuts[this.number].src; }