} else { audio.playlist_index = false; 
function hop_audio_playlist_play( audio, i ) {   var pl = hop_audio_playlist_get( audio );   if( (i >= 0) && (i < sc_length( pl )) ) {      audio.proxy.playlist_play( i );      audio.playlist_index = i;      return i;   } else {      audio.playlist_index = false;   }   return -1;}
4636	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4636/646b66df1861b02e03f9c899c29987b6af48a42f/hop-audio.js/buggy/share/hop-audio.js