<!--
// adds functions as onLoad event handlers to the page, even if
// onLoad functions have been previously defined by someone else
function addLoadEvent(func) {
	var oldonload = window.onload;
	if (typeof window.onload != 'function') {
		window.onload = func;
	} else {
		window.onload = function() {
			if (oldonload) {
				oldonload();
			}
			func();
		}
	}
}
//-->