function nav_init(listOrContainer)
{
    var dd_array = listOrContainer.getElementsByTagName("dd");
    
    for (i = 0; i < dd_array.length; i++)
    {
        dd_array[i].onmouseover = function() { this.className = this.className + (this.className != "" ? " " : "") + "IEhover"; }
        dd_array[i].onmouseout = function() { this.className = this.className.replace(/ ?IEhover/, ""); }
    }
}