function show(what) {
	if (document.getElementById(what).style.display!='block') { 
		document.getElementById(what).style.display='block'; } 
}
function hide(what) {
	if (document.getElementById(what).style.display='block') { 
		document.getElementById(what).style.display='none'; } 
}