( 12 , 767 .)