X and his family left for Hong Kong last Christmas for a week's vacation. While shopping in a department store X was randomly chosen as the Holiday's Lucky Shopper of the Year, he was awarded a gift certificate worth HK$20,000. Is this money subject to be accounted in his gross income and therefore taxable for income tax purposes?