( 12 , 657 .)