function hide_by_id(ID){
      var element = document.getElementById(ID)
      if (element.style.display=="none") {
         element.style.display=''
      }
      else {
         element.style.display="none"
      }
}