13723 , 3 .)