audio.playlist = playlist; 
audio.proxy.playlist_set( playlist ); 
function hop_audio_playlist_set( audio, playlist ) {   audio.playlist = playlist;   return;}
4636	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4636/646b66df1861b02e03f9c899c29987b6af48a42f/hop-audio.js/buggy/share/hop-audio.js