function set_option_to(option_id,value)
	{
	x=document.getElementById(option_id);
	for(i=0;i<x.length;i++)
		{
		if(x.options[i].value==value){
		x.selectedIndex=i;}
		}
	}