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: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/aa603f0f529d7c123ea734cdd5404bca6bdb5c50/sidebarOverlay.js/buggy/suite/common/sidebar/sidebarOverlay.js