if(navigator.appName == "Netscape")
  {
   //alert("You're using a Netscape browser.")
   document.getElementById("height25div1").className="tabHtNet2";
  }
  else if(navigator.appName == "Opera")
  {
   document.getElementById("height25div1").className="tabHtOpera2";
   //alert("You're using a Opera browser.")
  }
  else
  {
   document.getElementById("height25div1").className="tabHtIE2";
   //alert("You're using a IE browser.")
  }