// <!-- const char *id = "$Id: navi01.js,v 1.0 2002-08-08 10:38:44+02 administrator Exp administrator $"-->
var IE4 = (document.all) ? 1 : 0;
var NS4 = (document.layers) ? 1 : 0;
var old = "Bitte besorgen Sie sich einen anderen Browser.<br><br>";
    old+= "Diese Navigation wird derzeit nur von Netscape Communicator oder";
	old+= "dem Microsoft Internet Explorer jeweils ab Version 4 unterst&uuml;tzt<br><br>";

if (!IE4 && !NS4)
	document.write(old);

var loaded = false;