var anchorItem;

function setCurrMenuItem(id)
{
    anchorItem = document.getElementById(id);
    anchorItem.className = "menu_highlight";
}

function boldItem(e)
{
    if (e != anchorItem)
      e.className = "menu_highlight";
}

function dimItem(e)
{
    if (e != anchorItem)
      e.className = "menu_dim";

}