pic1 = new Image(100, 25);
pic1.src = "images/CircleSelected.png";


function highlightMenuItem(id) {
    var obj = document.getElementById(id);
    if (obj.className == 'TopMenuItemHighlighted') {
        obj.className = 'TopMenuItem';
    } else {
    obj.className = 'TopMenuItemHighlighted';
    }

}