( 8 , 472 .)