// JavaScript Document
function append_load_handler(new_handler){
	var old_ol;

	old_ol = window.onload;
	if (typeof window.onload != 'function')
		window.onload = function() {new_handler();};
	else
		window.onload = function() { old_ol(); new_handler(); };
}