#include <stdio.h>
#define I 10000
int main(void)
{
    int i, j, x[I];
    i = 0;
    while(x[i-1] != 0) {
        scanf("%d", &x[i]);
        i++;
        j = i;
    }
        
        
        
        
    for(i = 0; i < j-1; i++) {
        printf("Case %d: %d\n", i, x[i]);
    }
    return 0;
}