kr 25 : —.