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