function toggle_visibility(example7)
{
  var e = document.getElementById(example7);
  if(e.style.display == 'none')
    e.style.display = 'block';
  else
    e.style.display = 'none';
}