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; }