( 6 , 542 );