node_style_set( hop_anim_vis, "visibility", "hidden" ); 
 node_style_set( hop_anim_vis, "display", "none" ); 
   http.onreadystatechange = function() {      if( http.readyState == 4 ) {	 var status;	 if( hop_anim_vis != false ) {	    node_style_set( hop_anim_vis, "visibility", "hidden" );	 }	 hop_anim_service = false;	 try {	    status = http.status;	 } catch( e ) {	    if( failure ) {	       failure( http );	    } else {	       throw( e );	    }	 }	 switch( status ) {	    case 200:	    if( success ) {	       success( http );	    } else {	       hop_js_eval( http );	    }	    break;	    case 204:	    break;	    case 257:	    hop_js_eval( http );	    break;	    case 258:	    if( http.responseText != null ) eval( http.responseText );	    break;	    case 259:	    hop_set_cookie( http );	    break;	    case 407:	    alert( "*** Hop Authentication Error " + http.status + ": `"		   + http.responseText + "'" );	    break;	    default:	    if( (status > 200) && (status < 300) ) {	       if( success ) {		  success( http );	       }	    } else {	       if( failure ) {		  failure( http );	       } else {		  hop_default_failure( http );	       }	    }	 }      }   }
4636	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4636/03cc7bc6a15b26124d550ccdaf125b995ee54ac5/hop.js/buggy/share/hop.js