ett extranummer , som innehöll domen.