function init_banners()
{
 var div = document.getElementById("header_banner");
 if (div != null)
 {
  var w = "600px";
  var h = "250px";
  
  div.style.height = "68px";
  div.style.overflow = "hidden";
  div.style.clip = "rect(0, " + w + ", 68px, 0)";

  div.onmouseover = function() {
   this.style.height = h;
   this.style.clip = "rect(0, " + w + ", " + h + ", 0)";
  }
  
  div.onmouseout = function() {
   this.style.height = "68px";
   this.style.clip = "rect(0, " + w + ", 68px, 0)";
  }
 }
}