<!--
last='blankdummy';
var strFound;
var TRange=null;
n=-1;
function findString (str) {
 if (parseInt(navigator.appVersion)<4) return;

 if (navigator.appName=="Netscape") {

  // NAVIGATOR-SPECIFIC CODE (mods for Firefox functionality by Proft)
    firstn=1; 
    newstr=str;
    if(firstn && last!=str) self.find(str);
    strFound=self.find(str);
    last=str;
    firstn=0;
    if (!strFound && newstr!=last) {
         strFound=self.find(str,0,1);
         while (self.find(str,0,1) && newstr==last) continue; 
    } 
    n++;
    if (!strFound) {
        alert('SEARCH COMPLETED\n\n(No finds if the contents of\nthe find box is highlighted.)'); 
        //alert('Found '+n+' instances of "'+str+'"'); 
        n=-1; 
        last='blankdummy';
        parent.f1.t1.value='';
        //f1.t1.blur();
    }
 }
 if (navigator.appName.indexOf("Microsoft")!=-1) {

  // EXPLORER-SPECIFIC CODE

  if (TRange!=null) {
   TRange.collapse(false);
   strFound=TRange.findText(str);
   if (strFound) TRange.select();
  }
  if (TRange==null || strFound==0) {
   TRange=self.document.body.createTextRange();
   strFound=TRange.findText(str);
   if (strFound) TRange.select();
  }
  if (!strFound) alert ("String '"+str+"' not found!");   // was outside at rem marks
 }
// if (!strFound) alert ("String '"+str+"' not found!");
}

// Begin Floater code
// Original:  Richard Cleaver (richard@cleaver.org.uk) -->
// Web Site:  http://www.cleaver.org.uk -->

// This script and many more are available free online at -->
// The JavaScript Source!! http://javascript.internet.com -->

function floatButton () {
if (document.all) {
document.all.topButton.style.pixelTop = document.body.scrollTop ;
}
else if (document.layers) {
document.topButton.top = window.pageYOffset +  'px';  // +'px' needed? (not tested)
}
else if (document.getElementById) {
document.getElementById('topButton').style.top = window.pageYOffset  + 'px';
   }
}
if (document.all)
window.onscroll = floatButton;
else
setInterval ('floatButton()', 100);
function initButton () {
if (document.all) {
document.all.topButton.style.pixelLeft = 5;
document.all.topButton.style.visibility = 'visible';
}
else if (document.layers) {
document.topButton.left = 5;
document.topButton.visibility = 'show';
}
else if (document.getElementById) {
document.getElementById('topButton').style.left = '5px';
document.getElementById('topButton').style.visibility = 'visible';
   }
}
//  End of Floater code
//-->