function pulldown( form )
{
	window.location = form.select_nav.options[ form.select_nav.selectedIndex ].value;
}