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