--- ECHO_content/js/hl_lib.js	2004/05/18 22:30:09	1.2
+++ ECHO_content/js/hl_lib.js	2004/05/24 18:21:15	1.3
@@ -142,6 +142,10 @@ function highlightPair(id, highlight) {
 }
 
 function init() {
+    map_init();
+}
+
+function map_init() {
     hlTrafos["overview"] = parseTrafo("overview");
     placeAreas();
     return null;