def get_i() #空白区切の入力を数値(整数)の配列で返す
  return gets.chomp.split(" ").map(&:to_i)
end
def get_f() #空白区切の入力を数値(実数)の配列で返す
  return gets.chomp.split(" ").map(&:to_f)
end
def get() #空白区切の入力を文字列の配列で返す
  return gets.chomp.split(" ")
end
def get_nsp() #入力されたものを一文字ずつに区切った文字列の配列で返す
  return gets.chomp.split("")
end
def yn_judge(bool,y="Yes",n="No") #boolに真偽を投げることで、trueならy、falseならnの値を出力する
  return bool ? y : n 
end
def array(size1,init=nil,size2=1) #size2に二次元配列時の最初の要素数、size1に次の配列の大きさ、initに初期値を投げることでその配列を返す
  if size2==1
    return Array.new(size1){init}
  else
    return Array.new(size2){Array.new(size1){init}}
  end
end

def max(a,b)
    return a>b ? a : b
end

def min(a,b)
    return a>b ? b : a
end
N,K=get_i
s=get_nsp.map(&:to_i)
track=[]
l=0
s.each_with_index do|c,i|
    if c==1
        if i-l>0
          track.push([l,i])
        end
        l=i
    end
end
#p track
track.sort!{|x,y| y[1]-y[0]<=>x[1]-x[0]}
min(track.size,K).times do|i|
    track[i][0].upto(track[i][1]) do|j|
      s[j]=1
    end
end
ans=0
cnt=0
#p s
s.each do|c|
  if c.zero?
      ans=max(cnt,ans)
      cnt=0
  else
      cnt+=1
  end
end
ans=max(cnt,ans)
puts ans