( 12 , 788 .)