var body = '';
var readable = process.stdin;
readable.resume();
readable.setEncoding( 'utf-8' );
readable.on('readable', function() {
  var chunk;
  while( null !== (chunk = readable.read()) ) {
    body += chunk;
  }
});

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