il r l ' j u d e s H v r a: