' ( 25 , 523 .)