Hong Kong postal code

I didn't realize that Hong Kong actually has a postal code until I need to buy something from Taobao.com. Then I found that based on Baidu, Hong Kong's postal code is 999077. It's been verified in other source. So there you have it.