For the record, the official national anthem for Hong Kong is the same as China's.
I have watched football/soccer for more than 21 years, but this is the first time I have ever seen the "home" national anthem getting booed as hard as that by an angry crowd.