function popup(url, name, style) {
 fenster=window.open(url, name, style);
 fenster.focus();
 return false;
}

function mouseovernavi(id)
{
	document.getElementById(id).src = "content/gif/"+id+"_h.gif";
}

function mouseoutnavi(id)
{
	document.getElementById(id).src = "content/gif/"+id+".gif";
}

function bestaetigung(text, nexturl) {
	Check = confirm(text);
	if (Check !== false)
		window.location.href = nexturl;
}