var body = '';
var readable = process.stdin;
readable.resume();
readable.setEncoding( 'utf-8' );
readable.on( 'data', function( chunk ) {
  body += chunk.replace( '\n', '' );
  body += '\n';
});

readable.on( 'end', function() {
  var data = body.split( '\n' );
  for( var i=0; i<data.length; i++ ) {
    var nums = data[0].split( ' ' );
    var x = parseInt( data[i] );
    
    if( 0 != x ) {  
      console.log( 'Case '+i+': '+x  );
    }
  }
});