13493 , 3 .)