#include <stdio.h>


int main(int argc, char ** argv)
{
 char buffer[1024];
 char filename[1024];
 
 while (scanf("%s",filename) != EOF)
 {
  sprintf(buffer,"%s %s",argv[1],filename);
  system(buffer);
 }
 
 return 0;
}