$HK1810 は Xiaomi の株を買えるようになったんですかね