( 25 , 080 .)