function show(what)
	{
	var show=document.getElementById(what);
	if (show.style.display=="none") {
		show.style.display="block";
	}
	else {
		show.style.display="none";
	}
}