function toggle_visibility(element_id) {
	var element = document.getElementById(element_id);
	if (element.style.display == 'block') {
		element.style.display = 'none';
	} else {
		element.style.display = 'block';
	}
}

function show(element_id) {
	document.getElementById(element_id).style.display = 'block';
}

function hide(element_id) {
	document.getElementById(element_id).style.display = 'none';
}