// $Id$

// -------------------------------------------------
// nicked from http://simon.incutio.com/archive/2004/05/26/addLoadEvent ;)
// so we can add multiple events to the window.onload listener!
// -------------------------------------------------
function addLoadEvent(func) {
  var oldonload = window.onload;
  if (typeof window.onload != 'function') {
    window.onload = func;
  } else {
    window.onload = function() {
      oldonload();
      func();
    }
  }
}