( 13 , 071 .)