Well, that’s it. Only a little more time to think back, and wonder what became of all the good resolutions of one year ago. Then it’ll be time to make new ones, as always. Will this new year be any different? I don’t know, but I wish you a happy start into it nontheless. See you next year.