( 22 , 013 .)