( 12 , 471 .)