Postcode 80100, Kondominium Petrie, Johor, Malaysia