( 12 , 694 .)