Đếm xâu con chung khác nhau

Cho hai xâu \(A\) và \(B\). Hãy đếm số xâu khác nhau (khác nhau về nội dung) khác rỗng mà vừa là xâu con của \(A\) vừa là xâu con của \(B\). Xâu con nhận được bằng cách xoá một số ký tự và giữ nguyên thứ tự các ký tự còn lại; một xâu xuất hiện theo nhiều cách chọn vị trí vẫn chỉ được đếm một lần.

Vì kết quả có thể rất lớn, hãy in ra phần dư khi chia cho \(25071987\).

Input

• Dòng thứ nhất chứa xâu \(A\).
• Dòng thứ hai chứa xâu \(B\).

Output

In ra số xâu con chung khác nhau, lấy dư theo \(25071987\).

Constraints

• \(1 \le |A|, |B| \le 5000\)
• Hai xâu chỉ gồm chữ cái tiếng Anh viết thường.

Sample Input

abab
baba

Sample Output

8

Explanation

Các xâu con chung khác rỗng là: a, b, aa, ab, ba, bb, aba, bab - tổng cộng \(8\) xâu.