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

function m_select(ahrefid, frameurl) 
{
    try {
        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);
    } catch (e) {
        // alert(e);
    }
}

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