function getTag(element) {

    var elem;

    if( document.getElementById ) // this is the way the standards work
        elem = document.getElementById(element);
    else if( document.all ) // this is the way old msie versions work
        elem = document.all[element];
    else if( document.layers ) // this is the way nn4 works
        elem = document.layers[element];

    return(elem);
}

function navRollOver(tabId, hover, tab) {

    var element = getTag(tabId);
    if (element) {
        if (hover)
            element.className = 'buttonShape buttonHover';
        else {
            if (tabId == tab)
                element.className = 'buttonShape buttonHover';
            else
                element.className = 'buttonShape buttonNormal';
        }
    }
}

function menuClick(obj) {

    var anchors = obj.getElementsByTagName("a");
    window.location = anchors[0];
}