function searchDistrict(){

let input=document.getElementById("districtSearch"); let filter=input.value.toLowerCase();

let list=document.getElementById("districtList"); let items=list.getElementsByTagName("a");

for(let i=0;i-1){

items[i].style.display="block";

}else{

items[i].style.display="none";

}

}

}