// JavaScript Document

function changeDistrict(newDistrict) 
{
document.form.DIST.selectedIndex = newDistrict;
}