( 12 , 571 .)