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