element = $(element); return element.offsetHeight; 
return $(element).getDimensions().height; 
  getHeight: function(element) {    element = $(element);    return element.offsetHeight;  },
6445	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6445/81ea0800bc8ad92d491743716cd489cad7333723/prototype.js/clean/vendor/rails/railties/html/javascripts/prototype.js