if (document.getElementById("deptbanner"))
  if (document.getElementById("deptbanner").src != "")
  {
    document.getElementById("local_banner").style.border = "1px ridge #002146";
    
    if (document.getElementById("local_banner").className == "uschoolBanner")
      document.getElementById("local_banner").style.backgroundColor = "#eee";
  }