<!--

function go_anchor(which_sel)
{
	location = '#'+which_sel.options[which_sel.selectedIndex].text.replace(/ /g,"_")
	which_sel.options[0].selected = true
}

//-->