// global event handlers (loading and unloading the map and summaries)
// (it's here and not in the <body> tag in order to be able
//  to display 'Loading...' message)
var oldOnload = window.onload;
if (typeof window.onload != 'function') {
   window.onload = function() {
      summary_load();
      gmaps_load();
   };
} else {
   window.onload = function() {
      oldOnload();
      summary_load();
      gmaps_load();
   };
}
var oldOnunload = window.onunload;
if (typeof window.onunload != 'function') {
   window.onunload = function() {
      GUnload();
      summary_unload();
   };
} else {
   window.onunload = function() {
      oldOnunload();
      GUnload();
      summary_unload();
   };
}