if (document.getElementById("deptbanner"))
  if (document.getElementById("deptbanner").src != "")
    document.getElementById("local_banner").style.border = "1px ridge #002146";