Problem: The Travelling Salesman spends a lot of time travelling so he tends to get bored. To pass time, he likes to perform operations on numbers. One such operation is to take a positive integer x and reduce it to the number of bits set to 1 in the binary representation of x. For example for number 13 it's true that 1310 = 11012, so it has 3 bits set and 13 will be reduced to 3 in one operation.

He calls a number special if the minimum number of operations to reduce it to 1 is k.

He wants to find out how many special numbers exist which are not greater than n. Please help the Travelling Salesman, as he is about to reach his destination!

Since the answer can be large, output it modulo 109 + 7.

Input

The first line contains integer n (1 ≤ n < 21000).

The second line contains integer k (0 ≤ k ≤ 1000).

Note that n is given in its binary representation without any leading zeros.

Output

Output a single integer — the number of special numbers not greater than n, modulo 109 + 7.

Examples

Input

110
2


Output

3


Input

111111011
2


Output

169

Note

In the first sample, the three special numbers are 3, 5 and 6. They get reduced to 2 in one operation (since there are two set bits in each of 3, 5 and 6) and then to 1 in one more operation (since there is only one set bit in 2).

Solution (in JAVA):

Solution:
import java.io.OutputStream;
import java.io.IOException;
import java.io.InputStream;
import java.io.OutputStream;
import java.io.PrintWriter;
import java.util.Arrays;
import java.io.BufferedWriter;
import java.util.InputMismatchException;
import java.io.IOException;
import java.io.Writer;
import java.io.OutputStreamWriter;
import java.io.InputStream;
/**
 * Built using CHelper plug-in
 * Actual solution is at the top
 */
public class Main {
    public static void main(String[] args) {
        InputStream inputStream = System.in;
        OutputStream outputStream = System.out;
        InputReader in = new InputReader(inputStream);
        OutputWriter out = new OutputWriter(outputStream);
        TaskC solver = new TaskC();
        solver.solve(1, in, out);
        out.close();
    }

    static class TaskC {
        boolean[] goodNumberOfOnes;
        int[] num;
        int[] mem;

        int ops(int val) {
            if (val == 1) return 0;
            return 1 + ops(Integer.bitCount(val));
        }

        int dp(int index, int onesUsed, boolean strictlyLess) {
            if (index == num.length) {
                return goodNumberOfOnes[onesUsed] ? 1 : 0;
            }
            int memIdx = index * (num.length + 1) * 2 + onesUsed * 2 + (strictlyLess ? 1 : 0);
            if (mem[memIdx] != -1) {
                return mem[memIdx];
            }
            int res = 0;
            for (int here = 0; here <= 1; here++) {
                if (!strictlyLess && here > num[index]) continue;
                res += dp(index + 1, onesUsed + (here == 1 ? 1 : 0), strictlyLess | (here < num[index]));
            }
            if (res >= MiscUtils.MOD7) {
                res -= MiscUtils.MOD7;
            }
            return mem[memIdx] = res;
        }

        public void solve(int testNumber, InputReader in, OutputWriter out) {
            String s = in.next();
            num = new int[s.length()];
            for (int i = 0; i < s.length(); i++) {
                if (s.charAt(i) == '1') {
                    num[i] = 1;
                }
            }
            int k = in.readInt();
            if (k == 0) {
                out.printLine(1);
                return;
            }
            if (k == 1) {
                out.printLine(num.length - 1);
                return;
            }
            goodNumberOfOnes = new boolean[num.length + 1];
            for (int start = 1; start <= num.length; start++) { // starting number has at most 1000 bits set to one
                if (ops(start) == k - 1) {
                    // then this is a great starting point
                    // we want to consider all numbers <= n that have this number of ones exactly
                    goodNumberOfOnes[start] = true;
                }
            }
            mem = new int[num.length * (num.length + 1) * 2];
            Arrays.fill(mem, -1);
            out.printLine(dp(0, 0, false));
        }
    }
    static class OutputWriter {
        private final PrintWriter writer;

        public OutputWriter(OutputStream outputStream) {
            writer = new PrintWriter(new BufferedWriter(new OutputStreamWriter(outputStream)));
        }

        public OutputWriter(Writer writer) {
            this.writer = new PrintWriter(writer);
        }

        public void close() {
            writer.close();
        }

        public void printLine(int i) {
            writer.println(i);
        }
    }
    static class InputReader {
        private InputStream stream;
        private byte[] buf = new byte[1024];
        private int curChar;
        private int numChars;
        private InputReader.SpaceCharFilter filter;

        public InputReader(InputStream stream) {
            this.stream = stream;
        }

        public int read() {
            if (numChars == -1) {
                throw new InputMismatchException();
            }
            if (curChar >= numChars) {
                curChar = 0;
                try {
                    numChars = stream.read(buf);
                } catch (IOException e) {
                    throw new InputMismatchException();
                }
                if (numChars <= 0) {
                    return -1;
                }
            }
            return buf[curChar++];
        }

        public int readInt() {
            int c = read();
            while (isSpaceChar(c)) {
                c = read();
            }
            int sgn = 1;
            if (c == '-') {
                sgn = -1;
                c = read();
            }
            int res = 0;
            do {
                if (c < '0' || c > '9') {
                    throw new InputMismatchException();
                }
                res *= 10;
                res += c - '0';
                c = read();
            } while (!isSpaceChar(c));
            return res * sgn;
        }

        public String readString() {
            int c = read();
            while (isSpaceChar(c)) {
                c = read();
            }
            StringBuilder res = new StringBuilder();
            do {
                if (Character.isValidCodePoint(c)) {
                    res.appendCodePoint(c);
                }
                c = read();
            } while (!isSpaceChar(c));
            return res.toString();
        }

        public boolean isSpaceChar(int c) {
            if (filter != null) {
                return filter.isSpaceChar(c);
            }
            return isWhitespace(c);
        }

        public static boolean isWhitespace(int c) {
            return c == ' ' || c == '\n' || c == '\r' || c == '\t' || c == -1;
        }

        public String next() {
            return readString();
        }

        public interface SpaceCharFilter {
            public boolean isSpaceChar(int ch);
        }
    }
    static class MiscUtils {
        public static final int MOD7 = (int) (1e9 + 7);
    }
}