var output = [];
var i = 1;
var readable = process.stdin;
readable.resume();
readable.setEncoding( 'utf-8' );
readable.on( 'data', function( chunk ) {
  var data = chunk.replace( '\n', '' );
  if( 0 == data ) {
    console.log( output.join( '\n' )  );
  } else {
    output.push( 'Case '+i+': '+data ); 
    console.log( output.join( '\n' )  ); 
    i++;
  }
});