// JavaScript Document

function showmenu(x)
{
document.getElementById(x).style.visibility="visible"
}
function hidemenu(x)
{
document.getElementById(x).style.visibility="hidden"
}

function menuoff(source,identity)
{
var x = source.replace(/on.gif/,"off.gif")
document.getElementById(identity).src=x
}
function menuon(source,identity)
{
var y = source.replace(/off.gif/,"on.gif")
document.getElementById(identity).src=y
}

function chngImg(x)
{
document.getElementById("focus").src=x
}
function chngTxt(txt)
{
document.getElementById("subtext").innerHTML=(txt)
}