var timer;
timer=0;

if (document.layers) {
layer="document.layers['L'+menu]"};

if (document.getElementById) {
layer="document.getElementById('L'+menu).style" };

function Show() {
	var menu;
	if(layer) {
        if(timer) clearTimeout(timer);
        for(menu=0; menu<menu_max; menu++) {
        	 eval(layer).visibility = "hidden"; 
        }
        for(i=0; i<arguments.length; i++) { menu=arguments[i]; eval(layer).visibility = "visible"; }
} }

function Hide() { timer = setTimeout("Show()", 500); }

function nothing(){}