// JavaScript Document
function setTab(m, n) {
    var tli = document.getElementById("case" + m).getElementsByTagName("a");
    var mli = document.getElementById("main" + m).getElementsByTagName("span");
    for (i = 0; i < tli.length; i++) {
        tli[i].className = i == n ? "a1" : "a2";
       // mli[i].style.display = i == n ? "block" : "none";
    }
}