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