// CONFIG
var slideTime = 800;
var topMargin = 204;
var topMarginCover = 246;
var myVar = null;

// ZUSAETZLICH
function setDisplay(the_div,disp){
	if (document.getElementById)
	{
		document.getElementById(the_div).style.display = disp;
	}
	else if (document.all)
	{
		document.all[the_div].style.display = disp;
	}
}

// ONFOCUS ...
function unBlur(){
	this.blur();
}

function addUnBlur(){
	var links = document.getElementsByTagName('a');
	for (var i=0; i<links.length; i++ ) {
		links[i].onfocus = unBlur;
	}
}