var i = 1;
var data = '';
var readable = process.stdin;
readable.resume();
readable.setEncoding( 'utf-8' );
readable.on( 'data', function( chunk ) {
  data += chunk;
  var j = data.lastIndexOf( '\n' );
  if( -1 < j ) {
    var nums;
    if( j == data.length-1 ) {
      nums = data.split( '\n' );
      data = '';
    } else {
      nums = data.substring( 0, j ).split( '\n' );
      data = data.substring( j+1 );
    }
    j=0;
    for( j=0; j<nums.length-1; j++ ) {
      if( 0 != nums[j] ) {
        console.log( 'Case '+i+': '+nums[j] );
        i++;
      }  
    }
  }
});