function CSE() {
    var c=$("CSE-container");
    c.style.visibility = "visible";
}
function $(a) {
    return document.getElementById(a);
}
function XCSE() {
    var c=$("CSE-container");
    c.style.visibility = "hidden";
}