13722 , 3 .)