function addToFavorites()
   {
    if (window.external) { window.external.AddFavorite(urlAddress,PageTitle); }
    else { alert("Sorry, your browser doesn't support this function."); }
   }
   
   // Functions for Find on This Page 
   var NS4 = (document.layers);    // Which browser?
   var IE4 = (document.all);
   var win = window;    // window to search.
   var n   = 0;
   function findInPage(str) {
     var txt, i, found;
     if (str == "")
       return false;
     // Find next occurance of the given string on the page, wrap around to the
     // start of the page if necessary.
     if (NS4) {
       // Look for match starting at the current point. If not found, rewind
       // back to the first match.
       if (!win.find(str))
         while(win.find(str, false, true))
           n++;
       else
           n++;
       // If not found in either direction, give message.
         if (n == 0)
         alert("Not found.");
      }
     if (IE4) {
       txt = win.document.body.createTextRange();
       // Find the nth match from the top of the page.
       for (i = 0; i <= n && (found = txt.findText(str)) != false; i++) {
         txt.moveStart("character", 1);
         txt.moveEnd("textedit");
       }
       // If found, mark it and scroll it into view.
       if (found) {
         txt.moveStart("character", -1);
         txt.findText(str);
         txt.select();
         txt.scrollIntoView();
         n++;
      } 
      // Otherwise, start over at the top of the page and find first match.
      else {
        if (n > 0) {
          n = 0;
          findInPage(str);
        }
        // Not found anywhere, give message.
        else
          alert("Not found.");
      }
    }
    return false;
   }
    
// Script to ensure that already framed page gets correctly sub-framed if loaded in index.html.  
   var PagePath = window.location.href;
   var PageName = PagePath.substring(PagePath.lastIndexOf('/') + 1);
       PageName = PageName.split('?').join('&');
   var AltPage = 'index.htm?' + PageName;
   var FramePath = parent.location.href;
   var FrameName = FramePath.substring(FramePath.lastIndexOf('/') + 1);
   if(FrameName == "index.html") 
   { window.location.href = AltPage; }

// Scripts for showing-hiding the navigation pane.  
   function loadtoggle() { 
   var statecheck=parent.document.getElementById('hmframeset').getAttribute('cols'); 
   if (statecheck=="0%,100%") document.getElementById('tocbutton').value='Show'; 
   highlight(); 
   } 

   function showHideFrame(objBtn){ 
   var colValue, borderValue, spacingValue; 
   if (objBtn.value=="Show"){ 
   objBtn.value="Hide";
   colValue="220,*"; 
   borderValue="0"; 
   spacingValue="0"; 
   } 
   else { 
   objBtn.value="Show"; 
   colValue='0%,100%'; 
   borderValue='0'; 
   spacingValue='0'; 
   } 
   parent.document.getElementById('hmframeset').setAttribute('cols',colValue); 
   parent.document.getElementById('hmframeset').setAttribute('frameBorder',borderValue); 
   parent.document.getElementById('hmframeset').setAttribute('frameSpacing',spacingValue);
   }