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 ) return;
  console.log( 'Case '+i+': '+data );
  i++;
} )