Dessa 7,200 rdr äro , tyckes det , denhögsta