25716 ) ( 10619 .)