/**
 * addLoadEvent(void function()) - adds the given function to the list of functions for page load
 *   Unfortuatenly, we need this because we *cannot* do window.onload += func;
 */
function addLoadEvent(func) {
  var oldonload = window.onload;
  if (typeof window.onload != 'function') {
    window.onload = func;
  } else {
    window.onload = function() {
      if (oldonload) 
        oldonload();
      func();
    }
  }
}