( 12 , 772 .)