// this function needs to load before any window.onload assignments
	// call it before each window.onload assignment in other scripts
function getOLs(){
if(typeof window.onload=='function'){ // test to see if onload has been set
	if(typeof ol_ol=='undefined')ol_ol=new Array(); // test if array variable already exists
	ol_ol.push(window.onload); // this captures any previous onload function
}
	}