function openWindow(theURL,winName,features) {
  window.open(theURL,winName,features);
}

function closeWindow() {
  window.close()
}

function focusWindow() {
  window.focus()
}

function previousPage() {
  history.go(-1)
}

function SetStatusBar(text)
{
	window.status	=	text;
}

function SetLofoxStatus()
{
	SetStatusBar("LoFoX");
}


// Netscape resize fix
function MM_reloadPage(init) {
  if (init==true) with (navigator) {if ((appName=="Netscape")&&(parseInt(appVersion)==4)) {
    document.MM_pgW=innerWidth; document.MM_pgH=innerHeight; onresize=MM_reloadPage; }}
  else if (innerWidth!=document.MM_pgW || innerHeight!=document.MM_pgH) location.reload();
}
MM_reloadPage(true);


// Force images that appear more than once on the page, to load.
// Otherwise they will not be shown sometimes in IE6 with SP1 (this is a bug).
image01 = new Image();
image01.src = "images/blanco.gif";
image02 = new Image();
image02.src = "images/tab01.gif";
image03 = new Image();
image03.src = "images/tab02.gif";
image04 = new Image();
image04.src = "images/tab03.gif";
image05 = new Image();
image05.src = "images/tab04.gif";
image06 = new Image();
image06.src = "images/tab05.gif";
image07 = new Image();
image07.src = "images/tab06.gif";
image08 = new Image();
image08.src = "images/bullet.gif";

// Determine if browser is IE5 or greater
var agt       = navigator.userAgent.toLowerCase();
var appVer    = navigator.appVersion.toLowerCase();
var is_minor  = parseFloat(appVer);
var is_major  = parseInt(is_minor);
var is_opera  = (agt.indexOf("opera") != -1);
var iePos     = appVer.indexOf('msie');
if (iePos !=-1) {
   is_minor   = parseFloat(appVer.substring(iePos+5,appVer.indexOf(';',iePos)));
   is_major   = parseInt(is_minor);
}
var is_konq   = false;
var kqPos     = agt.indexOf('konqueror');
if (kqPos !=-1) {                 
   is_konq    = true;
   is_minor   = parseFloat(agt.substring(kqPos+10,agt.indexOf(';',kqPos)));
   is_major   = parseInt(is_minor);
}                                 
var is_safari = ((agt.indexOf('safari')!=-1)&&(agt.indexOf('mac')!=-1))?true:false;
var is_khtml  = (is_safari || is_konq);
var is_ie     = ((iePos!=-1) && (!is_opera) && (!is_khtml));
var is_ie5up  = (is_ie && is_minor >= 5);



// Display background image if browser is IE5 or greater
if (is_ie5up) {
	document.write("<style type='text/css'>BODY { background-color: #FFFFFF; background-image: url(images/back01.jpg); background-attachment: scroll; background-repeat: no-repeat; background-position: center bottom }</style>");
} else {
	document.write("<style type='text/css'>BODY { background-color: #FFFFFF }</style>");  
}