+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){