function showdiv(div)
{
	if (document.getElementById(div).style.display == "none") {		
		document.getElementById(div).style.display = "inline";
	} else {
		document.getElementById(div).style.display = "none";
	}
}
function neuesFenster(theURL,winName,features) 
{
  window.open(theURL,winName,features);
}

function hoverNavigation(img, to) {
	img.src = img.src.replace(/(_0)[0-9]{1}(\..*)$/, "$1"+to+'$2');
}