Random Thoughts on the Lantern Festival of the Fifteenth Day of the First Lunar Month