} catch( e ) { alert( "Cannot start serevt flash proxy: " + e ); throw new Error( "Cannot start flash proxy: " + e ); } 
function start_servevt_proxy( obj ) {   hop_servevt_proxy = new Object();   hop_servevt_proxy.register = function( x ) {};   hop_send_request( "/hop/server-event-info",		     // synchronous call		     false,		     // success callback		     function( v ) {			var host = v[ 0 ];			var port = v[ 1 ];			var key = v[ 2 ];			if( port ) {			   start_servevt_flash_proxy( key, host, port );			} else {			   start_servevt_ajax_proxy( key, obj );			}		     },		     // failure callback		     function( v ) {			throw new Error( "Cannot get server event port number" );		     },		     // run the anim during the call		     true,		     // no environment		     [] );}
4636	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4636/066c0b0b8aa151d186b888546c93bc9eec2f2dfc/hop.js/clean/share/hop.js