function select_option(form,select, txt){

	var myselect=document.getElementById(select);
	option_id=0;
	for (var i=0; i<myselect.options.length; i++){

		if(myselect.options[i].value==txt){
			option_id=myselect.options[i].index;
		}

	}
	if(option_id>0){
		myselect.selectedIndex=option_id;
	}
}