+
+function check_for_hash_change() {
+ var num = parseInt(window.location.hash.substr(1));
+ if (num >= 1 && num <= global_image_list.length) { // and then num != NaN
+ if (--num != global_image_num) {
+ global_image_num = num;
+ relayout();
+ }
+ }
+}