官方名字好像叫“上元节”，民间叫元宵节。