7.北京2022年冬奥会吉祥物的名字是()。