function switchAgent(menu) {
	var choice = menu.selectedIndex;
	var new_url = menu.options[choice].value;
	if (new_url != "") { window.location.href = new_url; }
}