function msg(msg) {
    /* Gooi een berichtje op de statusbalk, shortcut versie */
    window.status = msg;
    return true;
}
function addLoadEvent(func) {
  var oldonload = window.onload;
  if (typeof window.onload != 'function') {
    window.onload = func;
  } else {
    window.onload = function() {
      if (oldonload) {
        oldonload();
      }
      func();
    }
  }
}