//racourci pour getElementById
function $(arg)
{
    return document.getElementById(arg);
}

var curMenu = "none";
//met le menu a jour en fonction de la selection de l'internaute
function setMenu(id)
{
    if (curMenu == id)
        return;
    
    //efface tout
    var liList = $("menu_ul").getElementsByTagName("li");
    for(i=0; i<liList.length; i++)
    {
        liList[i].className = "";
    }
    
    //met a jour
    $(id).className = "selected";  
    curMenu = id;
}