How many items are there in a baker’s dozen?