hop_anim_vis = hop_anim_128_128( service ); 
hop_anim_vis = hop_anim_16_16( service ); 
function hop_anim( service ) {   hop_clear_timeout( "hop_anim_timeout" );   if( hop_anim_service == service ) {      if( hop_anim_vis ) {	 hop_anim_vis.title = service;	 node_style_set( hop_anim_vis, "visibility", "visible" );	 return hop_anim_vis;      } else {	 hop_anim_vis = hop_anim_128_128( service );	 document.body.appendChild( hop_anim_vis );	 return hop_anim_vis;      }   }}
4636	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4636/a3ec8117a7c9dfa38ec622eb016f9c5b604a1831/hop.js/clean/share/hop.js