function show(id) {
  div = document.getElementById(id);
  if(div) {
    div.style.display = "block";
  }
  div = document.getElementById(id + "controls");
  if(div) {
    div.innerHTML = '<a class=controls onClick=\'hide("' + id + '")\'><img src="./graphics/-.gif" alt="Contract notice message."></a>';
  }
}

function hide(id) {
  div = document.getElementById(id);
  if(div) {
    div.style.display = "none";
  }
  div = document.getElementById(id + "controls");
  if(div) {
    div.innerHTML = '<a class=controls onClick=\'show("' + id + '")\'><img src="./graphics/+.gif" alt="Expand notice message."></a>';
  }
}

function isShowing(id) {
  div = document.getElementById(id);
  if(div) {
    if (div.style.display == "none") {
      return false;
    } else {
      return true;
    }
  }
  return false;
}