if(document.getElementById && document.all && navigator.userAgent.indexOf("Opera")<0){
        var obj = document.getElementById("personalmenu");
        obj.innerHTML = obj.innerHTML.replace(/<dl>/gi,"<dl onmouseover='pull(this)' onmouseout='pull(this)'>");
}

function pull(obj){
        for(var i=0;i<obj.childNodes.length;i++)
                if(obj.childNodes[i].nodeName.toUpperCase()=="DD")
                        obj.childNodes[i].style.display=obj.childNodes[i].style.display=="block"?"none":"block";
}