function expandIt(name_exp, name_hide) {
  var region_exp = document.getElementById(name_exp);
  var old_style = region_exp.style.display;
  var new_style = (old_style=="none")?"":"none";
  region_exp.style.display = new_style;
  if (new_style == "") {
    var region_hide = document.getElementById(name_hide);
    region_hide.style.display = "none"}};

function show_div(id) {
  var all_divs = document.getElementsByTagName('div');
  for (var i = 0; i < all_divs.length; i++) {
    if (all_divs[i].className == 'toggle') {
      if (all_divs[i].id != id) all_divs[i].style.display = 'none';
      else all_divs[i].style.display = (all_divs[i].style.display=='none')?'':'none';}}};