function firefix() {
    images = document.getElementsByTagName("img");
    for (i=0;i<images.length;i++) {
      images[i].height=images[i].height;
    }   
  }
  
  function addLoadEvent(func) {
    var oldonload = window.onload;
    if (typeof window.onload != 'function') {
      window.onload = func;
    } else {
      window.onload = function() {
        oldonload();
        func();
      }
    }
  }