var ns4 = (document.layers) ? true : false;var ie4 = (document.all) ? true : false;var dom = (document.getElementById) ? true : false;var ForwardTimer;var Waittime = 0;/*_____________________________________	Usefull string extensions. 	Defined one, works ever :-))_____________________________________*/String.prototype.leftTrim = function() {	return (this.replace(/^\s+/,""));};String.prototype.rightTrim = function() {	return (this.replace(/\s+$/,""));};//kombiniert "leftTrim" und "rightTrim";String.prototype.Trim = function() {	return (this.replace(/\s+$/,"").replace(/^\s+/,""));};//dampft leerzeichen(-sequenzen) innerhalb einer zeichenkette auf ein einzelnes "space" ein;String.prototype.fullTrim = function() {	return(this.replace(/\s+/g," ").replace(/\s+$/,"").replace(/^\s+/,""));};//zugabe: entfernt alle leerzeichen aus einer zeichenkette;String.prototype.removeWhiteSpaces = function() {	return (this.replace(/\s+/g,""));};// Stringcompare indenpendant of the capitalizationString.prototype.compare = function(szComp) {	return (this.toLowerCase() == szComp.toLowerCase());};/*************************************************************	Special functions**************************************************************//*_____________________________________	Sets a button with the id "number". if Number is 	0 we look for the gien parameter_____________________________________*/function SetButton(number) {	var element;	if( number == 0) number = getLabelNumber();	element = document.getElementById(String(number));	if(element) element.setAttribute("CLASS", "over");}/*_____________________________________	Call from onload event_____________________________________*/function SetOutlineEntry(AliasName) {	var LabelName = getLabelName(AliasName);	var i=0;	var ii=0;	var element=null;	var attribute=null;		do {		element = document.getElementById(String(++i));		if(element){			if ( element.firstChild.nodeValue == LabelName) {				element.className = "over";	//setAttribute("Class", "over");			}		}	} while (element)}/*_____________________________________	Call from external frame_____________________________________*/function ButtonPressed(url, number) {	var element, frame;	var i=0;	var type="";		// Rest all other Menu Items to standard		do {		i++;		element = document.getElementById(String(i));		if(element) {			if ( String(i) != number) {				element.className = "menu";			} else {				type = URLs[i-1].split("|")[2];			}		}	} while (element)	// appendURL (if the url contains no protocol !!!)	if ( !url.match(/^http:/i) ) {		url = document.location.protocol + "//" + location.hostname + url;	}			// Call URL	if(url.length > 0) {		if(type.length == 0 || type.match(/_top/i) ) {			parent.location.href=url;		} else {			frame = parent.document.getElementsByName(type)[0];			frame.src=url;					}	}}/*_____________________________________	This function gets from the Aliasname the 	Labelname _____________________________________*/function getLabelName(AliasName) {	var i=0;		while( i < Lookup.length > 0 ) {		if( Lookup[i].split(':')[0].toLowerCase() == AliasName.toLowerCase() ) 	return Lookup[i].split(':')[1];		i++;	}}/* _____________________________________	Set the appropriate Outline entry which comes 	in via URL Parameter (outline aliasName)_____________________________________*/function getLabelNumber() {	var LabelName = "";	var AliasName = "";	var i = 0;	AliasName = top.location.href.split('&')[1];	while( i < Lookup.length > 0 && LabelName == '' ) {		if( Lookup[i].split(':')[0].toLowerCase() == AliasName.toLowerCase() ) {			LabelName = Lookup[i].split(':')[1];			return i + 1;		}		i++;	}}/*_____________________________________	Create a new window_____________________________________*/function createWindow(cUrl,cName,cFeatures) {	var xWin = window.open(cUrl,cName,cFeatures);}/*_____________________________________	Make a break_____________________________________*/function makeBreak(){	if(parent.VerticalMenu)		return '';	else		return '<BR>';}/*_____________________________________	Goto link_____________________________________*/function Go_Link(){	var URL =  location.href.split('.nsf')	location.href =  URL[0] + '.nsf/ContentFramed/' + URL[1].split('/')[2];}/*_____________________________________	Show or hide a html element with the id "feld"	depending of the boolean value "z"_____________________________________*/function setLink(feld,z){	var tmp;		if(ie4) {		tmp = document.all[feld];		(z) ? tmp.style.visibility = "visible" : tmp.style.visibility = "hidden";		return true;	}	if(ns4) {		tmp = document.layers[feld];		(z) ? tmp.visibility = "show" : tmp.visibility = "hide";		return true;	}	if(dom) {		var tmp = document.getElementById(feld);		(z) ? tmp.style.visibility = "visible" : tmp.style.visibility = "hidden";		return true;	}}/*_____________________________________	Will be used by opening a special document for 	downloading_____________________________________*/function doDownload(link) {	var contr1 = link.split('$file/');	if(contr1[1])	{		document.forms[0].FileInfo.value = contr1[1].split("?");		var newlink = "../(NotifyDownload)?openAgent";		location.href = newlink;	}	window.open(link,"SateliteWindow");}function forward() {	// Start timer, if ForwardTime > 0	if (ForwardTime > 0) {		ForwardTimer = window.setInterval("WaitTillForward()",1000);	}}function WaitTillForward() {	// Will forward one second earlier the the META HTTP-EQUIV, if JavaScript doesn't Work	if (Waittime >= ForwardTime - 1) {		window.clearInterval(ForwardTimer);		window.location.href = ForwardPage;	} else {		Waittime++;	}}// Looking, if we hav an active javafunction detectJava() {	var version;	if( !navigator.javaEnabled()) {		return false;	} else {		version = document.applets[0];		if (!version)					return true;		else if(version.object == null) 			return false;		else			return true;	}}// Loading a new page in a existing frame Frame depening on the given parametersfunction reloadFrame(Frame, Username, Page) {	for(i=0; i<parent.frames.length;i++) {		if(parent.frames[i].name.compare(Frame) ) {			if(Username.length == 0 | parent.frames[i].document.forms[0].Username.value.compare(Username)) {				array = parent.frames[i].location.href.split("/");				array.pop();				parent.frames[i].location.href=array.join("/") + "/Navigation?OpenPage";				return;			}		}	}	}