function show_div(divid){
		var trg=document.getElementById(divid);
		trg.style.visibility='visible';
	}
	function hide_div(divid){
		var trg=document.getElementById(divid);
		trg.style.visibility='hidden';	
	}