var nav_timeout = null;

function nav_over(id, section) {
    if (document.getElementById && document.getElementsByTagName) {
        
        var nav1 = document.getElementById('nav1');
        var num_sections = nav1.getElementsByTagName('li').length;
        
        for (i = 1; i <= num_sections; i++) {
            if (id != i) {
                var ul = document.getElementById('nav1_' + i);
                if (ul) {
                    ul.style.display = 'none';
                }
                var a = document.getElementById('nav_link' + i);
                if (a && a.className != 'current') {
                    a.style.background = '#FA9B01';
                    a.style.color = '#FFF';
                } else if (a) {
                    a.style.background = '#FAB23E';
                    a.style.color = '#FFF';
                }
            }
        }
        
        var target = document.getElementById('nav1_' + id);
        if (target) {
            target.style.top = (5 + (id - 1) * 26) + 'px';
            target.style.display = 'block';
        }
        
        var link = document.getElementById('nav_link' + id);
        if (link && section) {
            link.style.background = '#333';
            link.style.color = '#FFF';
        } else if (link) {
            link.style.background = '#FACA7D';
            link.style.color = '#333';
        }
            
        if (nav_timeout != null) {
            clearTimeout(nav_timeout);
        }
    }
}

function nav_out(id) {
    if (document.getElementById) {
        if (nav_timeout != null) {
            clearTimeout(nav_timeout);
        }
        nav_timeout = setTimeout('nav_hide(' + id + ');', 500);
    }
}

function nav_hide(id) {
    
    nav_timeout = null;
    
    var target = document.getElementById('nav1_' + id);
    if (target) {
        target.style.display = 'none';
    }
    
    var link = document.getElementById('nav_link' + id);
    if (link) {
        if (link.className != 'current') {
            link.style.background = '#FA9B01';
            link.style.color = '#FFF';
        } else {
            link.style.background = '#FAB23E';
            link.style.color = '#FFF';
        }        
    }
}