Advisory: Hong Kong stock market closed today for Christmas holiday