( 24 , 472 .)