/* Javascript Document */


/* Loads any function that should be executed when the document is fully loaded */
/* from the book */
/* ---------------------------------------------------------------------------- */
function addLoadEvent(func) {
	var oldonload = window.onload;
	if (typeof window.onload != "function") {
		window.onload = func;
	}
	else {
		window.onload = function() {
                       oldonload();
		       func();
                }
	}
}