( 8 , 542 .)