( 12 , 664 .)