辞海

释义：zhèng dēng
1.指农历正月十五日灯节。