/* main.js */

function disp_(id,value) {
document.getElementById(id).style.display = value;
}

function vis_(id, value) {
document.getElementById(id).style.visibility = value;
}