function div_show(div_name) {
	tooltip = document.getElementById(div_name);
	tooltip.style.display = "block"
}
function div_hide(div_name) {
	tooltip = document.getElementById(div_name);
	tooltip.style.display = "none";
}

function showhide(name) { 
	var display = document.getElementById(name).style.display;
	if (display == 'block') {
		document.getElementById(name).style.display='none';
	}
	else{
		document.getElementById(name).style.display='block';
	}
}

function qlb (adr, ziel) 
{
 var adr = adr.replace(/~/,".");
 var x234 = "lt"
 var tx5  = "o:"
 var rz9  = "mai"
	document.location = rz9 + x234 + tx5 + ziel + '@' + adr;
}