function mouseOver(target) {
	document.getElementById(target).src = "images/navi-"+target+"-over.gif";
}
function mouseOut(target) {
	document.getElementById(target).src = "images/navi-"+target+"-out.gif";
}

function buttonMouseOver(starget, sopenclose, smouseoverout) {
	document.getElementById(starget).src = "images/button-"+sopenclose+"-"+smouseoverout+".gif";
}