What is marawi city Postal Code?

Postal Code of marawi city is 9700