<!--
function toggle(name) {
  if (document.getElementById(name).style.display == "none"){
     document.getElementById(name).style.display = "";
  }
  else {
     document.getElementById(name).style.display = "none";
  }
}
//-->