Curtain, that may have been true the first couple of years after it was included in the based monthly pay, but in the years after that, inflation slowly eroded that away while the monthly pay was benchmarked against monthly pay at the local competitors in the base area, 13th month not included. In other words, we got screwed as usual and don't really get the 13th month.
Anyway, hope you HK boys get your 13th month.