if (type == 'vertical' || type == 'height') return element.offsetHeight; else return element.offsetWidth; 
return element['offset' + ((type=='vertical' || type=='height') ? 'Height' : 'Width')]; 
Element.offsetSize = function (element, type) {  if (type == 'vertical' || type == 'height')    return element.offsetHeight;  else    return element.offsetWidth;}
6445	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6445/81ea0800bc8ad92d491743716cd489cad7333723/dragdrop.js/buggy/vendor/rails/railties/html/javascripts/dragdrop.js