( 12 , 793 .)