var isDOM = document.getElementById?true:false;
	var isDomNN = document.layers?true:false;
	var isDomIE = document.all?true:false;

function show(name){
	if(isDOM)
		document.getElementById(name).style.visibility = "visible";
	else if (isDomIE)
		document.all[name].style.visibility = "visible";
	else if (isDomNN)
		document.layers[name].visibility="visible";
}
function hide(name) {
	if(isDOM)
		document.getElementById(name).style.visibility="hidden";
	else if (isDomIE)
		document.all[name].style.visibility="hidden";
	else if (isDomNN)
		document.layers[name].visibility="hidden";
}