public function getDistrict($con = null)
 {
     include_once 'lib/model/om/BaseDistrictPeer.php';
     if ($this->aDistrict === null && $this->district_id !== null) {
         $this->aDistrict = DistrictPeer::retrieveByPK($this->district_id, $con);
     }
     return $this->aDistrict;
 }