( 13 , 995 .)