<!--
function changeDisplay(choice){
	// don't do anything if no option was selected
	if (choice == ""){return;}
	var URL = 
	document.form.pages.options[document.form.pages.selectedIndex].value;
	window.location.href = URL;
}
//-->