function load_pane(URL) {
	if (document.getElementById) {
		mydiv = document.getElementById('myportal');
	} else {
		mydiv = document.all['myportal'];
	}		
	mydiv.src=URL;
}