var userAgent = navigator.userAgent.toLowerCase();
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);
var MO  = document.documentElement;
var AOL = (userAgent.indexOf("aol")>-1); 
var REAL    = false;
var SHOCKED = false;

if (NN){
  for(i=0; i<navigator.plugins.length; i++) {
    if (navigator.plugins[i].name.substring(0,10) == "RealPlayer") { REAL = true; }
    if (navigator.plugins[i].name.indexOf("Flash")>0) { SHOCKED = true; }
  }
} else if (IE) {
  REAL = true;
	SHOCKED = true; 
}

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

function WW_reload(){
	document.location=document.location;
}

var WW_stdlib_loaded = true;