25 , 56 ; i r