13454 , 3 .)