function menu(objID) {
    var obj = document.getElementById(objID);
    if (obj.className == "opened")
        obj.className = "closed";
    else
        obj.className = "opened";
}