function list_hover(ul)
{
    ulElement = document.getElementById(ul);
    if (ulElement)
    {
            if (ulElement.className == 'closed')
            {
                    ulElement.className = "open";
            }
            else
            {
                    ulElement.className = "closed";       
            }
    }    
    dlElement = document.getElementById("dl_" + ul);
    if (dlElement)
    {
            if (dlElement.className == 'dl_closed')
            {
                    dlElement.className = "dl_open";
            }
            else
            {
                    dlElement.className = "dl_closed";       
            }
    }    

}