function mkvisible( element_id ){
	document.getElementById( element_id ).style.visibility = 'visible';
	}
function mkhidden( element_id ){
	document.getElementById( element_id ).style.visibility = 'hidden';
	}