AS 25 , k !.