Peppermint Cocoa

3 cups hot milk
1/2 tsp. vanilla extract (optional)
dash salt
8 peppermint chocolate patties
1 cup cream
Stir 1/2 cup milk with peppermint patties in saucepan until 
smooth. Add rest of milk, vanilla and salt. Simmer mixture. Add 
cream and serve immediately. Serves 6.