25233 ■ 3 .)