function    Highlight(src) {
/*    if (src.style.textDecoration == "underline")
        src.style.textDecoration = "none";
    else
        src.style.textDecoration = "underline";       */
    }

function    ToggleChilds(src) {
    var currentNode = src;
    var childLIs = src.parentNode.getElementsByTagName("li");     
    for( var i=0; i < childLIs.length; i++)
        if (currentNode != childLIs[i])
            childLIs[i].className = "nohover";                    
        
    if (src.className == 'displayblock')
        src.className = "displaynone";
    else
        src.className = "displayblock";       
    }