window.loadHandler = init;
dispatch(window, "load", "loadHandler");

function init()
{
	var menu = new Array(document.getElementById("header"));
	for(i in menu) {
		var anchors = menu[i].getElementsByTagName("a");
		for (var i=0; i<anchors.length; i++) {
		 var anchor = anchors[i];
		 var img = anchor.firstChild;
		 var a_split = anchor.href.replace(/\/+$/,'').split("/");
		 var a_pag = a_split[a_split.length-1];
		 if( a_pag != pagina ){
		 	addButtonEvent(img);
		 }
		 else {
			 	img.src = img.src.replace(/norm/, "over");
		 }
	 	}
	}
}