^ ( 5 , 572 .)