function NavigateTo(sender, url) {
    if (url != null && url != undefined) {
        if (window.location)
            window.location.href = url;
        else if (window.navigate)
            window.navigate(url);
        else if (document.href)
            document.href = url;
    }
}

function NavMouseOut(div) {
    NavMouseOutColor(div, '');
}

function NavMouseOutColor(div, color) {
    if (div != null && div != undefined) {
        if (div.style)
            div.style.backgroundColor = color;
    }
}

function NavMouseOver(div) {
    if (div != null && div != undefined) {
        if (div.style)
            div.style.backgroundColor = '#DDDDDD';
    }
}

function NavMouseOverColor(div, color) {
    if (div != null && div != undefined) {
        if (div.style)
            div.style.backgroundColor = color;
    }
}