#include <stdio.h> main() { int i=1,a; while(1){ scanf("%d",&a); if(a==0)break; printf("Case %d: %d\n",i++,a); } }