var show_id=0;
var showi_id=0;
function nothing() // dummy url
{
}

function non()
{
        alert("The menu links are non-functional");
}


function showi(n)
{
        if (document.getElementById)
        {
                var info0 = document.getElementById("i0");
                var info1 = document.getElementById("i1");
                var info2 = document.getElementById("i2");
                var info3 = document.getElementById("i3");
                var info4 = document.getElementById("i4");
                var info5 = document.getElementById("i5");
                var info6 = document.getElementById("i6");
                var info7 = document.getElementById("i7");
                for(i=0;i<=7;i++) // hide all text boxes
                        {
                        eval("info"+i).style.visibility = "hidden";
                        }
                        // then show the one we want
                eval("info"+n).style.visibility = "visible";
        }else
        {
                return false;
        }


}
function show(n)
{
        if (document.getElementById)
        {
                var text0 = document.getElementById("t0");
                var text1 = document.getElementById("t1");
                var text2 = document.getElementById("t2");
                var text3 = document.getElementById("t3");
                var text4 = document.getElementById("t4");
                for(i=0;i<=4;i++) // hide all text boxes
                        {
                        eval("text"+i).style.visibility = "hidden";
                        }
                        // then show the one we want
                eval("text"+n).style.visibility = "visible";
        }else
        {
                return false;
        }
        clearTimeout(show_id);
        clearTimeout(showi_id);
        show_id=0;
        showi_id=0;
}


function play_midi(src)
{
        if(!document.all) return;
        var musicsrc=src;
        if (navigator.appName=="Microsoft Internet Explorer")
        document.write('<bgsound src='+'"'+musicsrc+'"'+' loop="infinite">');
        else
        document.write('<embed src=\"'+musicsrc+'\" hidden="true" border="0" width="20" height="20" autostart="true" loop="true">');
}



function changeScrollbarColor(C)
{
        if (document.all)
        {
                document.body.style.scrollbarBaseColor = C;
        }
}

function Slide(time)
{

        show_id=setTimeout('show(0)', time);
        showi_id=setTimeout('showi(0)', time);
//        setTimeout('clearTimeout(show_id)',time+1000);
//        setTimeout('clearTimeout(showi_id)',time+1000);
}