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