// updated Portugal zip code format