var NN 	= navigator.appName == 'Netscape';
var IE 	= document.all;
var MAC = (navigator.appVersion.indexOf("Mac") != -1);
var X11 = (navigator.appVersion.indexOf("X11") != -1); 
var TROTTEL = (IE && MAC);

function WW_reloadTop(){
	window.document.location=window.document.location;
}

function WW_reload(){
	document.location=document.location;
}
var WW_stdlib_loaded = true;