function change_vis(vis)
{
  if (document.getElementById(vis).className == "vis_no")
    document.getElementById(vis).className = "vis_yes"
  else
    document.getElementById(vis).className = "vis_no";
}