What is added to the man-shaped cookies that are very popular in the U.S. at Christmas time?

**********