hop_servevt_proxy.close = function() { hop_servevt_proxy.http.abort() }; 
hop_servevt_proxy.close = function() { hop_servevt_proxy.httpreq.abort() }; 
      hop_servevt_proxy.close = function() { hop_servevt_proxy.http.abort() };
4636	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4636/55880fddf29e0053e6a3698f986ed1f682cb1f9b/hop-event.js/clean/share/hop-event.js