问题文

Nico Nico 字符串是指重复出现字符 '25' 0 次或更多次的字符串。例如，'25'、'252525' 和空字符串都是 Nico Nico 字符串，但 '123' 和 '225' 不是。

给定一个字符串 S，将其连续的子字符串中最长的 Nico Nico 字符串的长度称为 S 的Nico Nico 级别。例如，'52525'、'25025'、'12151' 的 Nico Nico 级别分别为 $4$、$2$、$0$。

Dwango 小朋友有一个由数字 0 到 9 和问号 ? 组成的字符串 T，他打算用任意数字替换每个问号 ?，从而构造一个只包含数字的字符串 T'。请计算 Dwango 小朋友所能构造的字符串 T' 的最大 Nico Nico 级别。

约束条件

• $1 \leq |T| \leq 10^5$
• 字符串 T 的字符只能是数字 0 到 9 或问号 ?

---

输入

输入以以下格式从标准输入中给出。

$T$

输出

输出 Dwango 小朋友所能构造的字符串 T' 的最大 Nico Nico 级别。

---

示例 1

输入示例：

12??567890

输出示例：

4

将 ? 依次替换为 5 和 2，得到字符串 1252567890。从第二个字符到第五个字符构成了 2525，可以构造 Nico Nico 级别为 $4$ 的字符串。

---

示例 2

输入示例：

65?5?4?

输出示例：

2

---

示例 3

输入示例：

314159265358979

输出示例：

0

在这个字符串中不存在 25，所以 Nico Nico 级别为 $0$。

---

示例 4

输入示例：

2???5????

输出示例：

8

---

示例 5

输入示例：

52

输出示例：

0