题目描述

LHX教主要来X市指导OI学习工作了。为了迎接教主，在一条道路旁，一群Orz教主er穿着文化衫站在道路两旁迎接教主，每件文化衫上都印着大字。一旁的Orzer依次摆出“欢迎欢迎欢迎欢迎……”的大字，但是领队突然发现，另一旁穿着“教”和“主”字文化衫的Orzer却不太和谐。

为了简单描述这个不和谐的队列，我们用“$j$”替代“教”，“$z$”替代“主”。而一个“$j$”与“$z$”组成的序列则可以描述当前的队列。为了让教主看得尽量舒服，你必须调整队列，使得“$jz$”子串尽量多。每次调整你可以交换任意位置上的两个人，也就是序列中任意位置上的两个字母。而因为教主马上就来了，时间仅够最多作$K$次调整（当然可以调整不满$K$次），所以这个问题交给了你。

输入格式

第一行包含$2$个正整数$N$与$K$，表示了序列长度与最多交换次数。

第二行包含了一个长度为$N$的字符串，字符串仅由字母“$j$”与字母“$z$”组成，描述了这个序列。

输出格式

一个非负整数，为调整最多$K$次后最后最多能出现多少个“jz”子串。

5 2 
zzzjj

2

提示

【样例说明】

第$1$次交换位置$1$上的$z$和位置$4$上的$j$，变为$jzzzj$；

第$2$次交换位置$4$上的$z$和位置$5$上的$j$，变为$jzzjz$。

最后的串有$2$个“$jz$”子串。

【数据规模与约定】

对于$10\%$的数据，有$N≤10$；

对于$30\%$的数据，有$K≤10$；

对于$40\%$的数据，有$N≤50$；

对于$100\%$的数据，有$N≤500,K≤100$。