// JavaScript Document

// show dropdown menu
function showmenu(elmnt)
{
	document.all(elmnt).style.visibility="visible"
}
// hide dropdown menu
function hidemenu(elmnt)
{
	document.all(elmnt).style.visibility="hidden"
}
// change button background
function bgChange(tdName,bg)
{
	tdName.style.background=bg
}
// change page source
function pageChange(pName)
{
	locName=pName+".html";
	window.location=locName;
}