var last;

function show_submenu(caller)
{
	var ul;

	if (navigator.appName != "Microsoft Internet Explorer")
		return true;

	if (last)
		hide_submenu(last);

	ul = caller.getElementsByTagName('ul')[0];
	if (ul)
		ul.style.visibility = "visible";

	last = caller;
}

function hide_submenu(caller)
{
	var ul;

	if (navigator.appName != "Microsoft Internet Explorer")
		return true;

	ul = caller.getElementsByTagName('ul')[0];
	if (ul)
		ul.style.visibility = "hidden";
}