(7) Regni Hispaniae.