if(navigator.appName == "Netscape")
  {
   //alert("You're using a Netscape browser.")
   document.getElementById("height25div").className="tabHtNet1";
  }
  else if(navigator.appName == "Opera")
  {
   document.getElementById("height25div").className="tabHtOpera1";
   //alert("You're using a Opera browser.")
  }
  else
  {
   document.getElementById("height25div").className="tabHtIE1";
   //alert("You're using a IE browser.")
  }