
// Simple Browserdetection:
if ( document.all ) {
	ie = 1
} else {
	ie=0
}

windowFeatures="width=700,height=400,scrollbars,resizable";
windowFeaturesM="width=700,height=400,scrollbars,resizable,menubar,location";
windowFeatures640="width=640,height=440,scrollbars,resizable";
windowFeatures800all="width=800,height=640,scrollbars,resizable,location,menubar,status,titlebar,toolbar";





	//
	// Liefert 1 , wenn es ein Plugin enabled fuer mimetype gibt, sonst 0
	// z.B. HasPluginEnabledForMimeType ( 'application/x-shockwave-flash' )
	//
function HasPluginEnabledForMimeType ( mimetype )
{
	hat = 0;
	n=navigator.plugins.length
	i=0
	while (  i<n && hat==0  ) {
		len = navigator.plugins[i].length
		k = 0
		while (  k<len && hat==0  ){
			// document.writeln( navigator.plugins[i][k].type, " -- ", mimetype )
			if ( navigator.plugins[i][k].type == mimetype ){
				hat = 1
			}
			k++
		}
		i++
	}
	return ( 1 ) 
} //HasPluginEnabledForMimeType 


	//
	// wopen: opens a pups up
	//
function wopen( url, win , windowFeatures )
{
	window.open(url, win, windowFeatures);
} 
// wopen




// Einfaches Menuesystem
// 1. Die Links im Dokument, die ein Submenu bekommen, als <a class="menu" id="XXX_submenu" > deklarieren
// 2. Die Subemenus als <div id="XXX_submenu" ...  > ...</div> deklarieren
// 3. <body onload="menuinit()" aufrufen
// 

	function menuinit(){
		var menuitems = document.getElementsByTagName('a');
		for (i = 0; el = menuitems[i]; i++) {
			if (  el.className == 'menu'  ) {
				if  ( ie )  {
					el.attachEvent( 'onmouseover', displaysubmenu)
				} else {
					el.addEventListener( 'mouseover', displaysubmenu, false )
				}
			}
		}
	}

	function displaysubmenu ( e ){
			if (ie){
				pel=e.srcElement
			} else {
				pel=e.target
			}
			sm = document.getElementById( pel.id + "_submenu" )
			if ( sm ){
				sm.style.visibility = "visible"
				//sm.style.left= e.clientX + 8 +"px"
				sm.style.left= 60 +"px"
				//sm.style.top = e.clientY  + 5 +  "px"
				sm.style.top = 195 +  "px"
				//sm.style.top = getOffsetTop(pel) 
				//sm.innerHTML = "<h2>" + pel.innerHTML+ "</h2>" +  sm.innerHTML
			}
	}


// Liefert den oberen Rand eines Elements relativ zum Dok. anfang.
function getOffsetTop(element){
  var top=0;
  //alert ( '1 ' + element +  ':' +top)
  while(element){
    top += element.offsetTop - element.scrollTop;
  //  alert ( '2 ' +element.offsetTop +  ':' + element.scrollTop)
    element =element.offsetParent;
  }
  return top;
}


