function FindNamedObject(name)
{
	if(window.navigator.appname == "Microsoft Internet Explorer"
)
	{
		return document.all[name];
	}
	else
	{
		return document.getElementById(name);
	}

}

// This is the OnMouseOver handler
function MoveMenuDown(name)
{
	// First, find the object by this name
	var menu = FindNamedObject(name);

	// Now, move the menuto down to a coordinate of TODO
	MoveToY(menu, 0);
}

// This is the OnMouseOut handler
function MoveMenuUp(name)
{
	// First, find the object by this name
	var menu = FindNamedObject(name);

	// Now, move the menu back up to a coordinate of zero, shamelessly copied from
	// the CSS file.
	MoveToY(menu, -70);
}

// This is called to toggle the text color for the menu headings
function ChangeTextColor(name, color)
{
	// First, find the object by this name
	var text = FindNamedObject(name);

	// Now, set the color.
	text.style.color = color;
}