( 12 , 693 .)