+ var history_match = window.location.hash.match(/^#history=([a-zA-Z0-9_-]+)/);
+ if (history_match !== null) {
+ var game_id = history_match[1];
+ var fake_game = {
+ url: '/history/' + game_id + '.json',
+ hashurl: '',
+ id: 'history=' + game_id
+ };
+ switch_backend(fake_game);
+ return;
+ }
+