( 12 , 647 .)