var browser = navigator.userAgent.substring(0,7);
var version = parseInt(navigator.userAgent.substring(8,9)); 
var i; 
var defaultImg;
var layer; 
      if ((browser == "Mozilla") && (version >= 3)) { 
         hilite2 = new makeArray(11) 
         hilite2[1].src = "images/home.gif"
         hilite2[2].src = "images/bio.gif" 
         hilite2[3].src = "images/book.gif" 
         hilite2[4].src = "images/calendar.gif" 
         hilite2[5].src = "images/contact.gif" 
         hilite2[6].src = "images/cancer.gif" 
         hilite2[7].src = "images/diabetes.gif" 
         hilite2[8].src = "images/epilepsy.gif" 
         hilite2[9].src = "images/heart.gif" 
         hilite2[10].src = "images/multiple_sclerosis.gif" 
         hilite2[11].src = "images/lecturenotes.gif"
      } 

      function makeArray(n) { 
         this.length = n; 
         for (i = 1; i<=n; i++) { 
             this[i] = new Image(); 
         } 
         return this; 
      } 

      function onImage(num) { 
         if ((browser == "Mozilla") && (version >= 3)) { 
            defaultImg = document.images[0].src
            document.images[0].src = hilite2[num].src; 
         } 
      } 

      function offImage(num) { 
         if ((browser == "Mozilla") && (version >= 3)) { 
            document.images[0].src = defaultImg; 
         } 
      } 
       
    function Show(what) { 
        if (version >= 3){ 
            layer = (document.all) ? "document.all[what].style" : (document.layers) ? "document.layers[what]" :(document.getElementById) ? "document.getElementById(what).style" : 0; 
        } 
        eval(layer).visibility = "visible"; 
    } 

    function Hide(what){ 
        if (version >= 3){ 
            layer = (document.all) ? "document.all[what].style" : (document.layers) ? "document.layers[what]" :(document.getElementById) ? "document.getElementById(what).style" : 0; 
        } 
        eval(layer).visibility = "hidden"; 
    } 
    window.onresize = resize; 
    window.saveInnerWidth = window.innerWidth; 
    window.saveInnerHeight = window.innerHeight; 

    function resize() { 
        if (saveInnerWidth < window.innerWidth || 
            saveInnerWidth > window.innerWidth || 
            saveInnerHeight > window.innerHeight || 
            saveInnerHeight < window.innerHeight ) 
        { 
        window.location.reload();// 
        } 
    }