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