( 13 , 772 .)