function divbgswap(num, lang) {
  document.getElementById("nvb").style.backgroundImage = "url('img/navybus/"+lang+"_nvb"+num+".png')";
}