... . Rdr 7,20 Rint,