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;}
4999	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4999/15b6168787a6a25fd1fbbc41a3a5227b899071a9/dragdrop.js/clean/wp-includes/js/scriptaculous/dragdrop.js