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

readable.on( 'end', function() {
  console.log();
});