window.onload = function(){

	var rootNode = document.getElementById("topnavi");

	var imgTag = rootNode.getElementsByTagName("img");

	for (var i=0; i<imgTag.length; i++){

		imgTag[i].onmouseover = function(){

			this.src = this.src.split(".gif")[0]+"_over.gif";

		}

		imgTag[i].onmouseout = function(){

			this.src = this.src.split("_over.gif")[0]+".gif";

		}

	}

}