Hong Kong Stock Exchange document: Tencent spent HKD 550.9 million to repurchase 856,000 shares on September 15