, ( 51 , 532 .)