import java.util.NoSuchElementException;
import java.util.Scanner;

public class Main {
    private static int MAX = 10000;
    private static int MIN = 1;
    public static void main(String[] args) {
        Scanner sc = new Scanner(System.in);
        try {
            int i = 1;
            while (sc.hasNext()) {
                int x = Integer.parseInt(sc.nextLine());
                if (x == 0) {
                    break;
                }
                if (x > MAX || x < MIN || i > MAX) {
                    System.out.println("Condition is invalid.");
                    return;
                }
                System.out.printf("Case %d: %d\n", i++, x);
            }
        } catch (NoSuchElementException
                | NumberFormatException e) {
            System.out.println(e);
        }
    }
}


/tmp/hf-datasets-cache/medium/datasets/42704881117311-config-parquet-and-info-qiankunmu-Project_CodeNet-896c9d36/hub/datasets--qiankunmu--Project_CodeNet_Python800_and_Java250/snapshots/c899fde44a77ba1cc14973ed3de064e4ff3aadc7/Project_CodeNet_Java250.tar.gz