So what district does the Noc Noc mayor own?