<!--

	function add_onload_function(load_function) {
		var prev_onload = window.onload;
		if (typeof window.onload != 'function') {
			window.onload = load_function
		}
		else {
			window.onload = function() {
				if (prev_onload) {
					prev_onload();
				}
				load_function();
			}
		}
	}

//-->