function direct_to(select)
{
	window.location.href = select.options[select.selectedIndex].value;
}