( 15 , 071 .)