function check_animate()
{
    // check the window location, if we are first arriving to do some animation
    var do_animate = window.location.href.indexOf("?");
    if (do_animate > 0)
    {
        highlightNav(1, false);
        setTimeout('animateNavs(4);', 50);
    }
}

function animateNavs(num)
{
    // done animating
    if (num <= 0) { return; }
    
    var prevNum = num + 1;
    if (prevNum <= 4)
    {
        // unhighlight last one
        highlightNav(prevNum, false);
    }
    // highlight this one and set timer
    highlightNav(num, true);
    var nextNum = num - 1;
    setTimeout("animateNavs(" + nextNum + ");", 100);
}

function highlightNav(num, highlight)
{
    var nav = document.getElementById("nav" + num);
    if (highlight)
    {
        nav.className = nav.className.replace("hover", "selected washovered");
        nav.className = nav.className.replace("unselected", "selected");
    }
    else
    {
        nav.className = nav.className.replace("selected", "unselected");
        nav.className = nav.className.replace("unselected washovered", "hover");
    }
}