5 ( 25880 .)