rem: var _507=dojo.html.getBorderBox(node); var _508=dojo.html.getMargin(node); return {width:_507.width+_508.width,height:_507.height+_508.height}; 
add: var _515=dojo.html.getBorderBox(node); var _516=dojo.html.getMargin(node); return {width:_515.width+_516.width,height:_515.height+_516.height}; 
context: dojo.html.getMarginBox=function(node){var _507=dojo.html.getBorderBox(node);var _508=dojo.html.getMargin(node);return {width:_507.width+_508.width,height:_507.height+_508.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