( 5 , 013 .)