function jumpToAnchor() {

 var tempLocation = window.location.href.split("#");
 dropdown = document.getElementById('screen_hints');
 for(i=0; i < dropdown.length; i++)
 {
	if(document.getElementById('screen_hints').options[i].selected == true)
	{
		window.location.href = tempLocation[0] + document.getElementById('screen_hints').options[i].value;
	}
 }
}