import java.io.BufferedReader;
import java.io.IOException;
import java.io.InputStreamReader;

public class Main {
	public static void main(String[] args) throws NumberFormatException, IOException{
		BufferedReader br = new BufferedReader(new InputStreamReader(System.in));
		long x;
		for(int i = 1;(x = Long.parseLong(br.readLine())) != 0;i++){
			System.out.printf("Case %d: %d%n", i, x);
		}
	}
} import java.io.BufferedReader; BufferedReader java.io import java.io.IOException; IOException java.io import java.io.InputStreamReader; InputStreamReader java.io public class Main {
	public static void main(String[] args) throws NumberFormatException, IOException{
		BufferedReader br = new BufferedReader(new InputStreamReader(System.in));
		long x;
		for(int i = 1;(x = Long.parseLong(br.readLine())) != 0;i++){
			System.out.printf("Case %d: %d%n", i, x);
		}
	}
} Main public static void main(String[] args) throws NumberFormatException, IOException{
		BufferedReader br = new BufferedReader(new InputStreamReader(System.in));
		long x;
		for(int i = 1;(x = Long.parseLong(br.readLine())) != 0;i++){
			System.out.printf("Case %d: %d%n", i, x);
		}
	} main {
		BufferedReader br = new BufferedReader(new InputStreamReader(System.in));
		long x;
		for(int i = 1;(x = Long.parseLong(br.readLine())) != 0;i++){
			System.out.printf("Case %d: %d%n", i, x);
		}
	} BufferedReader br = new BufferedReader(new InputStreamReader(System.in)); br new BufferedReader(new InputStreamReader(System.in)) long x; x for(int i = 1;(x = Long.parseLong(br.readLine())) != 0;i++){
			System.out.printf("Case %d: %d%n", i, x);
		} int i = 1; int i = 1; i 1 (x = Long.parseLong(br.readLine())) != 0 (x = Long.parseLong(br.readLine())) x Long.parseLong(br.readLine()) Long.parseLong Long br.readLine() br.readLine br 0 i++ i++ i {
			System.out.printf("Case %d: %d%n", i, x);
		} {
			System.out.printf("Case %d: %d%n", i, x);
		} System.out.printf("Case %d: %d%n", i, x) System.out.printf System.out System System.out "Case %d: %d%n" i x String[] args args public class Main {
	public static void main(String[] args) throws NumberFormatException, IOException{
		BufferedReader br = new BufferedReader(new InputStreamReader(System.in));
		long x;
		for(int i = 1;(x = Long.parseLong(br.readLine())) != 0;i++){
			System.out.printf("Case %d: %d%n", i, x);
		}
	}
} public class Main {
	public static void main(String[] args) throws NumberFormatException, IOException{
		BufferedReader br = new BufferedReader(new InputStreamReader(System.in));
		long x;
		for(int i = 1;(x = Long.parseLong(br.readLine())) != 0;i++){
			System.out.printf("Case %d: %d%n", i, x);
		}
	}
} Main
import java.io.BufferedReader;
import java.io.IOException;
import java.io.InputStreamReader;

public class Main {
	public static void main(String[] args) throws NumberFormatException, IOException{
		BufferedReader br = new BufferedReader(new InputStreamReader(System.in));
		long x;
		for(int i = 1;(x = Long.parseLong(br.readLine())) != 0;i++){
			System.out.printf("Case %d: %d%n", i, x);
		}
	}
}