aktiv = false;
bName = navigator.appName;
bVer = parseInt(navigator.appVersion);
dom = (document.getElementById)? true:false;
ns4 = (document.layers)? true:false;
if (dom) { show = "visible"; hide = "hidden"; }
if (ns4) { show = "show"; hide = "hide"; }

function getRef(divID) {
	if (dom) return document.getElementById(divID).style
	if (ns4) return document[divID]
}
function showdiv(which) {
	if (aktiv != false) { getRef(aktiv).visibility = hide; }
	if (which) { getRef(which).visibility = show; aktiv = which }
}
function win(url,name,features) {
	name=window.open(url,name,features); name.focus();
}
function tranq(f,u) {
	m = new Array("&#105;","&#116;","&#111;","&#109;","&#97;","&#108;");
	document.write("<a href="+m[3]+m[4]+m[0]+m[5]+m[1]+m[2]+"&#58;"+u+"&#64;"+f+">"+u+"&#64;"+f+"</a>");
}

