function show_layer(mlayer) {
	if (navigator.appName == "Mozilla")
		document.layers['total'].document.layers[mlayer].visibility = "visible";
	else
		document.all[mlayer].style.visibility="visible";
}

function hide_layer(mlayer) {
	if (navigator.appName == "Mozilla")
		document.layers['total'].document.layers[mlayer].visibility = "hidden";
	else
		document.all[mlayer].style.visibility="hidden";
}



function hide_layers() {
	for (var i = 0; i < arguments.length; i++) {
		hide_layer(arguments[i]);
	}
}

function show_layers() {
	for (var i = 0; i < arguments.length; i++) {
		show_layer(arguments[i]);
	}
}