4 ( 13 , 889 .)