13 , 419 .)