getHeight: function(element) { return $(element).getDimensions().height; 
getHeight: function() { return this.getDimensions().height; 
  getHeight: function(element) {    return $(element).getDimensions().height;  },
6462	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6462/0097375444aef03d8cdcdbe6705c1ea088b9b188/prototype.js/clean/wp-includes/js/scriptaculous/prototype.js