import java.util.*;
public class Main {

    public static void main(String[] args) {
        //try {
          //  File inputFile = new File("src/ITP1/dataSetPTC.txt");
            Scanner scan = new Scanner(System.in);
            String caseStr = "Case ";
            String colonStr = ": ";
            int line = 1;
            while (scan.hasNext()) {
                int inputNum = scan.nextInt();
                if(inputNum == 0) {
                    break;
                }
                System.out.println(caseStr + line + colonStr + inputNum);
                line ++;
            }
        //} catch (FileNotFoundException e) {
        //    e.printStackTrace();
       // }
    }
}
/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