( 9 , 013 .)