function highlightVerticalMenuItem(id){
    document.getElementById(id).className = "verticalmenuitem_highlighted";
}

function unhighlightVerticalMenuItem(id){
    document.getElementById(id).className = "verticalmenuitem";
}

function setElementClass(id, className){
    document.getElementById(id).className = className;
}