function setVisibility(id, vis) {
	document.getElementById(id).style.display = vis;
}