/*@cc_on
@if (@_win32)
function doMenu(show, within) {
    var menu = menuFor(event.srcElement, within);

    if (show) {
        menu.style.display = "block";
    } else {
        var n = event.toElement;
        do {
            if (n == menu) return;
        } while ((n = n.parentNode) != null);
        menu.style.display = "none";
    }
    event.cancelBubble = true;
}

function menuFor(node, within) {
    var menu = null;
    if (within) {
        menu = getAncestorByTagName(node, "ul");
    } else {
        menu = node.parentNode.getElementsByTagName("ul")[0];
    }
    return menu;
}

function showMenu() { doMenu(1) }
function hideMenu() { doMenu(0) }
function hideMenu2() { doMenu(0,1) }

function initMenus(list) {
    var item, i = 0;
    while (item = list.getElementsByTagName("li")[i++]) {
        var sublist = item.getElementsByTagName("ul")[0];
        if (sublist == null)
            continue;
        var a = item.getElementsByTagName("a")[0];
        a.attachEvent("onmouseover", showMenu);
        a.attachEvent("onmouseout", hideMenu);
        var subitem, j = 0;
        while (subitem = sublist.getElementsByTagName("li")[j++]) {
            subitem.attachEvent("onmouseout", hideMenu2);
        }
    }
}

function getAncestorByTagName(node, tagName) {
    var n = node;
    while ((n = n.parentNode) != null) {
        if (n.nodeType == 1 && n.tagName.toLowerCase() == tagName.toLowerCase())
            break;
    }
    return n;
}


function init() {
    initMenus(document.getElementById("nav").getElementsByTagName("ul")[0]);
}

window.attachEvent("onload", init);
@end @*/