function MM_reloadPage(init) {  //reloads the window if Nav4 resized
  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);

function myfunction(url) {
var winname = window.open(url,'Session','width=450,height=400,top=100,left=50,scrollbars=yes,resizable=no,toolbar=no,statusbars=no,menubar=no'); winname.focus();
}

function popUp(URL) {
day = new Date();
id = day.getTime();
eval("page" + id + " = window.open(URL, '" + id + "', 'toolbar=0,scrollbars=1,location=0,statusbar=0,menubar=0,resizable=0,width=450,height=300,left = 312,top = 234');");
}

sfTarget = function() {
     var sfEls=document.getElementsByTagName("DIV");
     var aEls = document.getElementsByTagName("A");
     document.lastTarget = null;
     for (var i=0; i<sfEls.length; i++) {
         if (sfEls[i].id) {
             if (location.hash==("#" + sfEls[i].id)) {
			     // cls is undefined.  Is it actually doing anything at all?
				 // Leaving it in throws a warning about it being undefined.
				 // Commenting it out doesn't seem to affect functionality
				 // at all.  Keeping it here just in case that's not true.
                 // sfEls[i].className+=" " + cls;
                 document.lastTarget=sfEls[i];
             }
             for (var j=0; j<aEls.length; j++) {
                 if (aEls[j].hash==("#" + sfEls[i].id)) aEls[j].targetEl = sfEls[i]; aEls[j].onclick = function() {
                     if (document.lastTarget) document.lastTarget.className = document.lastTarget.className.replace(new RegExp(" sftarget\\b"), "");
                     if (this.targetEl) this.targetEl.className+=" sftarget"; document.lastTarget=this.targetEl;
                     return true;
                 }
             }
         }
     }
}
if (window.attachEvent) window.attachEvent("onload", sfTarget);