i = 1

x = eval(input())

while x != '0':

    print(('Case {0}: {1}'.format(i, x)))

    x = eval(input())

    i += 1
import sys

x = sys.stdin.readline().strip()

i = 1

while x != '0':

    print(('Case {0}: {1}'.format(i, x)))

    x = sys.stdin.readline().strip()

    i += 1
i = 1
x = eval(input())
while x != "0":
    print(("Case {0}: {1}".format(i, x)))
    x = eval(input())
    i += 1

import sys

x = sys.stdin.readline().strip()
i = 1
while x != "0":
    print(("Case {0}: {1}".format(i, x)))
    x = sys.stdin.readline().strip()
    i += 1

+import sys + +x = sys.stdin.readline().strip() -x = eval(input()) -    x = eval(input()) +    x = sys.stdin.readline().strip()