<!--

if (top.location != self.location){
   top.location = self.location;
}

var allLoaded = false;

No3 = (parseInt(navigator.appVersion) > 3) ? 1:0;
layer = (document.all && No3) ? "document.all['L'+menuind].style" : (document.layers && No3) ? "document.layers['L'+menuind]" : 0;
var timerID;

function eraseMenu(){ if (layer) {
        if (allLoaded) {
	for(menuind=0; menuind<Layer.length; menuind++) { if(Layer[menuind]) { eval(layer).visibility = "hidden"; } }
} } }

function showMenu() {
        if (allLoaded) {
	if (timerID) clearTimeout(timerID);
	eraseMenu();
	for(i=0; i<arguments.length; i++) { menuind=arguments[i]; eval(layer).visibility = "visible"; }
} }

function hideMenu() { timerID = setTimeout("eraseMenu()", 500); }

//-->