13416 , 4 .)