rem: oldonload(); 
add: old(); 
context: 			window.onload = function() {				oldonload();				CodeHighlighter.init();			}
meta: 9327	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9327/4ee6d3902c04b20b8f48de89d678f463a372a9e3/code_highlighter.js/buggy/code_highlighter.js