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