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

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

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