Exec(s1,s2)
char *s1, *s2;
{  char line[100];
  sprintf(line,"%s %s",s1,s2);
/* printf("%s\n",line); */
  system(line);
}