( 13 , 889 .)