Dạo này, Hạo có thói quen thích nghe nhạc. Cậu ấy quyết định mua một máy nghe nhạc (loại cũ) để thử cảm giác nghe nhạc của cuối những thập niên 90.

Có tất cả n bài nhạc, bài nhạc thứ i dài đúng \(a_i\) phút. Máy nghe nhạc mà Hạo mua ghi được tối đa \(m\) phút. Hỏi có bao nhiêu cách ghi nhạc khác nhau lên máy nghe nhạc, biết rằng mỗi bài nhạc chỉ được phép ghi một lần lên máy?

Dữ liệu vào

• Dòng đầu tiên chứa hai số nguyên dương \(N\) và \(M\) \((1 \le N,M \le 10^3)\)
• Dòng tiếp theo chứa dãy số nguyên dương \(a_1,a_2,...a_N\) \((a_i \le 10^3)\)

Dữ liệu ra

• Một số nguyên duy nhất là cách ghi nhạc lên máy nghe nhạc mà Hạo có thể thực hiện, lấy phần dư cho \(10^9+7\)

Input 1

3 4
1 5 6

Output 1

1