( 51 , 542 .)