+function play_random_after_error () {
+ hist.pop(); /* Purge offending song from history */
+ play_random();
+}
+
+function play_prev () {
+ hist.pop();
+ var song = hist[hist.length - 1];
+ console.log("Will now play: " + song)
+ if(hist.length <= 1)
+ prev.disabled = true;
+ load_song(song);
+ audio.play();
+}
+
+function handle_hash(first_run){
+ if(!hash_to_id.hasOwnProperty(location.hash) || inhibit_handle_hash)
+ return;
+ var id = hash_to_id[location.hash]
+ if(first_run === true)
+ hist.push(id)
+ load_song(id);
+ start.innerHTML = "Next";
+ audio.play();