; orsdagen den 25 dennes.