The reported population was 757,182, including the military and persons of foreign nationality.
Jumlah penduduk tercatat sebanyak 757.182 jiwa, termasuk militer dan warga negara asing.