China beached you obviously lack the capacity to do basic maths. I'd like to think you were joking, but obviously you were not.
HK housing prices ROSE by 80% (yes, EIGHTY PERCENT) since 2009.
So, your $10,000 HKD housing allowance over a 4 year period is worth in real terms $2000 HKD.
Doh!