<!--
var win = window;
var n   = 0;
function findString(str) {
   var txt, i, found;
   if (str == "") {
      return false;
   }
   if (window.execScript) {
      txt = win.document.body.createTextRange();
      for (i=0; i <= n && (found = txt.findText(str)) != false; i++) {
         txt.moveStart("character", 1);
         txt.moveEnd("textedit");
      }
      if (found) {
         txt.moveStart("character", -1);
         txt.findText(str);
         txt.select();
         txt.scrollIntoView();
         n++;
      } else {
         if (n > 0) {
            n = 0;
            findString(str);
         } else {
            alert("Could not find '"+str+"' on this page.");
		 }
      }
   } else {
      if (!win.find(str)) {
         while(win.find(str, false, true)) {
            n++;
		 }
	  } else {
         n++;
	  }
      if (n == 0) {
         alert("Could not find '"+str+"' on this page.");
	  }
   }
   return false;
}
//-->