// JavaScript Document
function changeDistrict(newDistrict)
{
		document.formsearch.DIST.selectedIndex = newDistrict;
}