function setTab(name, cursel, n) {
    for (i = 1; i <= n; i++) {
        var menu = document.getElementById(name + i);
        var con = document.getElementById("con_" + name + "_" + i);
        menu.className = i == cursel ? "hover" : "";
        con.style.display = i == cursel ? "block" : "none";
    }
}

function pos(name, cursel, n) {
    for (i = 1; i <= n; i++) {
        var menu = document.getElementById(name + i);
        var pos = document.getElementById("pos_" + name + "_" + i);
        menu.className = i == cursel ? "current" : "";
        pos.style.display = i == cursel ? "block" : "none";
    }
}


function doZoom(size) {
    var zoom = document.all ? document.all['Zoom'] : document.getElementById('Zoom');
    zoom.style.fontSize = size + 'px';
}