function displayElt(id, disp) {
//	document.getElementById(id).style.display = disp ? 'block' : 'none';
	document.getElementById(id).style.visibility = disp ? 'visible' : 'hidden';
}

function showElt(id) {
	displayElt(id, true);
//	alert("Showed " + id);
}

function hideElt(id) {
	displayElt(id, false);
//	alert("Hid " + id);
}