var hide= false;
	function show_dropdown(var1){
	if(!hide) document.getElementById(var1).style.visibility="visible";
	hide= false;
	}
	function downkey(){
	}
					
	function setText(var1,val){
		hide=true;
		hide_list(var1);
		document.getElementById(var1).value=val;
	}
	function hide_list(var1){
		document.getElementById(var1).style.visibility="hidden";
	}