// JavaScript Document

// Change districts on search page
	function changeDistrict(newDistrict) {
		document.form.DIST.selectedIndex = newDistrict;
}