25496 , 3 .)