function openmenu(menuid) {

    var item = document.getElementById(menuid);

    if (item.className == 'leftsubmenu-closed') {
	item.className = 'leftsubmenu-opened';
    }
    else {
	item.className = 'leftsubmenu-closed';
    }

}

function hoverRollOver(obj) {
        element = obj;
        element.origClassName = element.className;
        var tempClassStr = element.className;
        tempClassStr += "Hover";
        tempClassStr = tempClassStr.replace(/\s/g,"Hover ");
        tempClassStr += " hover";
        element.className = element.className + " " + tempClassStr;
}

function hoverRollOff(obj) {
        element = obj;
        element.className = element.origClassName;
}