I do have a question, and is the zip code for Nigeria.........23401, i just want to be positive?

i have met someone from nigeria that keeps saying that the zip code is 23401 for nigeria, i do not know zip codes for countries, please help me on this matter. Please tell me the zip code for .......Ikeja, Lagos.........Nigeria