6 ( 25280 .)