function change_visibility(id)
{
    if(document.getElementById(id).className == "hidden")
    {
        document.getElementById(id).className = "visible";
    }
    else
    {
        document.getElementById(id).className = "hidden";
    }
}