// Browser erkennen

function Browser() {
	var b = navigator.appName;
	if(b == 'Netscape') this.b = 'ns';
	else if(navigator.userAgent.toLowerCase().indexOf('opera') > -1) this.b = 'opera';
	else if(b == 'Microsoft Internet Explorer') this.b = 'ie';
	else this.b = b;
	this.version=navigator.appVersion;
	this.v = parseInt(this.version);
	this.vNo = parseFloat(navigator.appVersion);
	this.ns = (this.b == 'ns' && this.v >= 4);
	this.nsMinor406 = (this.b == 'ns' && this.vNo <= 4.05);
	this.ns4 = (this.b == 'ns' && this.v == 4);
	this.ns5 = (this.b == 'ns' && this.v == 5);
	this.ie = (this.b == 'ie' && this.v >= 4);
	this.ie4 = (this.version.indexOf('MSIE 4') > 0);
	this.ie5 = (this.version.indexOf('MSIE 5') > 0);
	this.ie55 = (this.version.indexOf('MSIE 5.5') > 0);
	this.ie6 = (this.version.indexOf('MSIE 6') > 0);
	this.opera = (this.b == 'opera');
	this.dom = ((document.createRange && (document.createRange().createContextualFragment) || document.getElementById) ? true : false);
	this.min =(this.ns || this.ie);
	var ua = navigator.userAgent.toLowerCase();
	if(ua.indexOf('win') > -1) this.platform = 'win32';
	else if(ua.indexOf('mac') > -1) this.platform = 'mac';
	else this.platform = 'other';
}
is = new Browser();

// CSS auswählen

if(is.ie6){ document.write('<link href="/fileadmin/website_files/3dm_style_ie.css" type="text/css" rel="stylesheet">')}
else{ document.write('<link href="/fileadmin/website_files/3dm_style.css" type="text/css" rel="stylesheet">') }


// Switch Tree

function QuickJump(Formular)
{
	var Element = Formular.tree.selectedIndex;
	if (Formular.tree.options[Element].value != 0)
	{
		location = Formular.tree.options[Element].value;
	}
}