function navOver(li) {

    if (li.navOutTimeout) clearTimeout(li.navOutTimeout);

    if (li.className.indexOf('over') == -1) {

        li.className += " over";

    }

}

function navOut(li) {

    li.navOutTimeout = setTimeout("checkNavOut('" + li.id + "')", 100);

}

function checkNavOut(id) {

    var li = document.getElementById(id);

    li.className = li.className.replace(" over", "");

}