rem: element.src = '/@@/'+name; 
add: element.src = element.src.replace(oldname, newname); 
context: function switchImage(id, name) {    if(document.getElementById) {       // DOM       var element = document.getElementById(id+'.arrow');    } else {       // Proprietary DOM       var element = document.all[id+'.arrow'];    }    element.src = '/@@/'+name;}
meta: 10011	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10011/b72113a4b639b752ae0773f530054821a5da9353/utilities.js/buggy/browser/utilities.js