function exhibdesc(picover) {
  var right_desc = document.getElementById("p4_exhib_desc");
  right_desc.innerHTML = picover;
}