audio.paused = false; 
function hop_audio_play( audio, start ) {   if( audio.proxy.play( start ? start : audio.start ) ) {      audio.playlist_index = false;      hop_audio_run_hooks( audio, "play" );      return true;   } else {      return false;   }}
4636	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4636/066c0b0b8aa151d186b888546c93bc9eec2f2dfc/hop-audio.js/clean/share/hop-audio.js