var std = process.stdin;
std.resume();
std.setEncoding('utf8');
std.on('data', function (chunk) {
    var data = chunk.split(/\n/);
    
    for (var i = 0; i < data.length - 1; i++) {
      console.log('Case %d: %d', i + 1, data[i]); 
    }
});