function toggle_hide_unhide(doc, div_id){
  if(doc.getElementById(div_id).style.display == 'none'){
    doc.getElementById(div_id).style.display = 'block';
  }else{
    doc.getElementById(div_id).style.display = 'none';
  }
}