kayaknya nggak murni PNS semua, mungkin hitungannya termasuk anggota keluarga dan penduduk biasa juga. Karena segala kegiatan di ibukota baru tidak mungkin diurus sama PNS semua