var version = parseFloat( navigator.appVersion );var possible = ( version >= 3 );var is_ns4 = (navigator.appName == 'Netscape' && navigator.appVersion < '5');var aktuell;var menutext_an = new Array();var menutext_aus = new Array();var gesetzt = new Array();var status_texte = new Array();var preload_fertig = false;		// alle preloads ausgeführtfunction preload ( name, image_an, image_aus, image_gesetzt, status_text ) {	menutext_an[name] = new Image();	menutext_an[name].src = image_an;	menutext_aus[name] = new Image();	menutext_aus[name].src = image_aus;	gesetzt[name] = new Image();	if ( image_gesetzt != null && image_gesetzt != '' ) {		gesetzt[name].src = image_gesetzt;	}	else {		gesetzt[name].src = image_an;	}	if ( status_text != null ) {		status_texte[name] = status_text;	}}function an ( name ) {	if ( possible && name != aktuell && preload_fertig ) {		document.images[name].src = menutext_an[name].src;	}	if ( status_texte[name] != null ) {		top.status = status_texte[name];	}}function aus ( name ) {	if ( possible && name != aktuell && preload_fertig ) {		document.images[name].src = menutext_aus[name].src;	}	if ( status_texte[name] != null ) {		window.status = '';	}}function setze ( name ) {	preload_fertig = true;	if ( possible && name != aktuell ) {		if ( aktuell != null ) {			document.images[aktuell].src = menutext_aus[aktuell].src;		}		document.images[name].src = gesetzt[name].src;		aktuell = name;	}}
