/* A general-purpose function that creates a queue of functions to be executed when a page loads */
function addLoadEvent(func) {
	var oldonload = window.onload;
	if (typeof window.onload != 'function') {
		window.onload = func;	
	} 
	else {
		window.onload = function() {
			oldonload();
			func();
		}	
	}		
}