var i=1;
var readable = process.stdin;
readable.resume();
readable.setEncoding( 'utf-8' );
readable.on( 'data', function( chunk ) {
  var x = chunk.replace( '\n', '' );
  if( 0 != x && '\n' != x ) {
    console.log( 'Case '+i+': '+x  );
  }
  i++;
});