for （； i < len; i++） {
str[i * 2 + 2] = s[i];
str[i * 2 + 3] = '#';
}
str[2 * len + 2] = 0;
for （int i = 1; i < 2 * len + 2 ; i++） {
rad[i] = 0;
}
int id = 0;
for （i = 1; i < 2 * len + 2; i++） {
if （max > i）
rad[i] = min（rad[2 * id - i], rad[id] + id - i） ;
else
rad[i] = 1 ;
while （str[i + rad[i]] == str[i - rad[i]]）
rad[i] ++ ;
if （rad[i] + i > max） {
max = rad[i] + i;
id = i;
}
}
int mx = 0;
for （i = 1; i < 2 * len + 2 ; i++） {
if （mx < rad[i] - 1）
mx = rad[i] - 1;
}
return mx;
}
int main（） {
int ca = 0 ;
while（scanf（"%s",s） != EOF） {
if（strcmp（s , "END"） == 0）break ;
printf（"Case %d: " , ++ ca） ;
printf（"%d\n",manacher（）） ;
}
return 0 ;
}