rem: var sidebar = document.getElementById('sidebar-box'); var width = sidebar.getAttribute('width'); sidebar.setAttribute('width', parseInt(width) + delta); 
add: var sidebarBox = document.getElementById('sidebar-box'); var width = sidebarBox.getAttribute('width'); sidebarBox.setAttribute('width', parseInt(width) + delta); 
context: function bump_width(delta) {  var sidebar = document.getElementById('sidebar-box');  var width = sidebar.getAttribute('width');  sidebar.setAttribute('width', parseInt(width) + delta);}
meta: 5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5459/95e72eb5529b3f65e1eaab3643a785bfcc786a5e/sidebarOverlay.js/buggy/xpfe/components/sidebar/resources/sidebarOverlay.js