D = document;
D.GE = D.getElementById;

// Add an eventListener to browsers that can do it somehow.
// Originally by Scott Andrew.
function addEvent(obj, evType, fn){
  if (obj.addEventListener){
    obj.addEventListener(evType, fn, true);
    return true;
  } else if (obj.attachEvent){
	var r = obj.attachEvent("on"+evType, fn);
    return r;
  } else {
	return false;
  }
}

/////////////////////////////////////////////////////////////////////////////
addEvent(window,"load",pageInit);
function pageInit()
{
    // Stuff here
}