( 8 , 532;