25,5211 25 , 40« ; 25,309[