import Control.Monad
import Data.Char
import qualified Data.Sequence as S

main = do
    [n, k] <- map read <$> words <$> getLine
    s      <- getLine
    putStrLn $ show $ solve n k s

solve :: Int -> Int -> String -> Int
solve n k s = doit (S.fromList $ replicate k 0) 0 ('0' : s)
  where
    doit :: (S.Seq Int) -> Int -> String -> Int
    doit start pos []              = n - S.index start 0
    doit start pos ('0' : '1' : t) =                               doit (start S.|> pos) (pos + 1) ('1' : t)
    doit start pos ('1' : '0' : t) = max (pos - S.index start 0) $ doit (S.drop 1 start) (pos + 1) ('0' : t)
    doit start pos ( _        : t) =                               doit  start           (pos + 1) t