rem: return element.offsetHeight; 
add: return element.offsetHeight; 
context:   getHeight: function(element) {    element = $(element);    return element.offsetHeight;  },
meta: 1782	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1782/3f0bcc29b1d13b6ec87c6b75980c7f271e175e80/prototype.js/buggy/webapp/sandbox/scripts/prototype.js