rem: return element.offsetHeight; 
add: return element.offsetHeight; 
context:   getHeight: function(element) {    element = $(element);    return element.offsetHeight;   },
meta: 2355	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/2355/9867ca01ad65827d23c0bf6cc14d8a64137e927d/prototype.js/clean/tracks/public/javascripts/prototype.js