// javascript for menus
var currentmenu;
var unselectedcolor;
var selectedcolor = '#000000';

function m_select(ahrefid, frameurl) 
{
    var pw = document.getElementById("pathway");
    var newmenu = document.getElementById(ahrefid);
    pw.textContent = newmenu.textContent;

    currentmenu.style.color = unselectedcolor;
    currentmenu = newmenu;
    currentmenu.style.color = selectedcolor;

    loadintoIframe("mainwindow", frameurl);
}

// called on document.load
function setupmenu(menu1)
{
    currentmenu =  document.getElementById(menu1);
    unselectedcolor = currentmenu.style.color;
    currentmenu.style.color = selectedcolor;
}