'use strict';
 process.stdin.on('data', function(chunk) { 
 var inputs = chunk.toString().trim().split('\r\n');
  for (var i = 0; i < inputs.length; i++) { 
  if (inputs[i] === '0') {
   break; 
   } 
   console.log('Case ' + (i + 1) + ': ' + inputs[i]);
    }
     });
      process.stdin.resume();
       process.stdin.setEncoding('utf8');