function toggle(id) {

	var object = document.getElementById(id);

	if ( object == null ) { return; }

	var objectDisplay = object.style.display == '';
	object.style.display = (objectDisplay ? 'none' : '');
}



 
function disp_show(id) {

	var div = document.getElementById(id);
	div.style.display = '';
}

function disp_hide(id) {

	var div = document.getElementById(id);
	div.style.display = 'none';
}