// JavaScript Document

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