Happy Halloween!

Today, 31 October is Halloween. Everybody knows that. I hope you all have a spooky Halloween!