rem: var _4f2=dojo.html.getBorder(node); return {width:pad.width+_4f2.width,height:pad.height+_4f2.height}; 
add: var _500=dojo.html.getBorder(node); return {width:pad.width+_500.width,height:pad.height+_500.height}; 
context: dojo.html.getPadBorder=function(node){var pad=dojo.html.getPadding(node);var _4f2=dojo.html.getBorder(node);return {width:pad.width+_4f2.width,height:pad.height+_4f2.height};};
meta: 4707	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/4707/50c3492c4c3c825dbd3401e134a19ed46799c456/dojo.js/buggy/www/resources/dojo-ajax/dojo.js