function toggle_display(id) {
		
	var doc_element = document.getElementById(id);
	doc_element.style.display = (doc_element.style.display == 'none') ? '':'none';
		
}

function show_element(id) {
		
	var doc_element = document.getElementById(id);
	doc_element.style.display = '';
		
}

function hide_element(id) {
		
	var doc_element = document.getElementById(id);
	doc_element.style.display = 'none';
		
}