<!--
	if(navigator.appName.indexOf("Explorer") >= 0) {
		document.writeln('<link rel="stylesheet" href="include/basic.css" type="text/css">');
	}
	else {
		if((navigator.appName.indexOf("Netscape") >= 0) && (navigator.userAgent.indexOf('Opera')>=0)) {
			document.writeln('<link rel="stylesheet" href="include/basic.css" type="text/css">');
		} // Ende if
		else {
			if(navigator.appName.indexOf("Netscape") >= 0) {
				document.writeln('<link rel="stylesheet" href="include/ns.css" type="text/css">');
			}	// Ende if
			else {
				document.writeln('<link rel="stylesheet" href="include/basic.css" type="text/css">');
			}	// Ende else
		}	// Ende else
	}	// Ende else
//-->

