// JavaScript Document


// funktion '$': mighty dollar function! gibt objekt zurück, kurzform fuer document.getElementById()
// rueckgabe: objekt, bei mehreren ids array mit objekten
// p1 obl: id
// p2 opt: id
// ... beliebig viele parameter möglich
// --> bsp: $('navdiv') bzw. objdiv = $('someDiv');

function $() {
	var elements = new Array();
	for (var i = 0; i < arguments.length; i++) {
		var element = arguments[i];
		if (typeof element == 'string')
			element = document.getElementById(element);
		if (arguments.length == 1)
			return element;
		elements.push(element);
	}
	return elements;
}



function defeatSpam(user, host)
{
	self.location="mailto:" + user + "@" + host;
}



// Unternavigationseinblenddings....


function togglesubnav(objekt) {
	
		$("subnav01").style.display="none";
		$("subnav02").style.display="none";
		$("subnav04").style.display="none";
		$(objekt).style.display="block";
}