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