3 * ( 13 , 893 .)