// this script needs to load last, after all the other onload assignments
// toward that end, it may be made part of a footer include in a server script
if(typeof window.onload=='function'){
getOLs();
window.onload=function(){
var ol_ol_ln=ol_ol.length;
for(i=0;i<ol_ol_ln;i++){
ol_ol[i](); // this reasserts the old onloads, if present
}
ol_ol=void 0; // returning the array to its natural, free-range state
}
}