rem: el.innerHTML = http.responseText; 
add: document.getElementById(around).innerHTML = http.responseText; 
context: 	    function( http ) {		if (http.responseText != null) {		    el.innerHTML = http.responseText;		    hop_js_eval( http );		    change_style();		}	    });
meta: 4636	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/4636/79884d39bb3ebe81f6eb6fd4fc692d536ca815da/hop-window.js/clean/share/hop-window.js