window.onloadListeners = [];

window.addOnLoadListener = function (listener) {
	window.onloadListeners[window.onloadListeners.size()] = listener;
}

Event.observe(window, 'load', function () {
  window.onloadListeners.each(function(item) {
    item.call();
  });
  /*
  for (var l = 0 ; l < links.length ; l++) { // Loop through the anchors
    links[l].onclick = function() { // Encode links when clicked
      this.geo_decode(this);
    }
    links[l].onmouseover = function() { // Display tooltip when links are hovered
      this.geo_decode(this); // Encode links when hovered (so that the address appears correctly in the browser's status bar)
    }
  }
  */
});