function toggle_div_id(x){
  var divx = document.getElementById(x)
  if (divx.style.display == 'none') {
    divx.style.display = 'block'
  } else {
    divx.style.display = 'none'
  }
}