#include <stdio.h>
int crazy = 0;
int crazy_num = 0;
int vcrazy = 0;
void seach(int number)
{
int a[9];
int i;
int b[3]={0};
int mark = 0;
for (i=0; number; i++)
{
a[i]=number%10;
number /= 10;
}
for (; i >= 0; i--) {
if (a[i] == 1)
{
b[0]++;
if ( a[i+1] == 2 )
{
if (a[i+2] == 5)
{
mark = 1;
}
}
}
else if (a[i] == 2)
{
b[1]++;
}
else if (a[i] == 5)
{
b[2]++;
}
else
{
continue;
}
}
crazy = (crazy = b[0]<b[1]?b[0]:b[1]) < b[2]? crazy:b[2];
if (crazy > 0) {
crazy_num ++;
}
if ( mark == 1)
{
vcrazy++;
}
}
void count(int up,int low)
{
int i = 0;
i = low > 100? low : 100;
for (; i <= up ; i++)
{
seach(i);
}
}
int main()
{
int uplimit = 0;
int lowlimit = 0;
int i = 1;
while (scanf("%d %d%*c",&lowlimit,&uplimit) == 2)
{
count(uplimit,lowlimit);
printf("Case %d:%d %d\n",i++,crazy_num,vcrazy);
vcrazy = 0;
crazy_num = 0;
}
return 0;
}