#include <stdio.h>
FILE *fp1;
char f1[80],f2[70];

main(ac,av)
int ac; char *av[];
{
  int k=1;
  if(ac<2){printf("\n\t dh5 batch_file\n"); exit(0); }
  fp1=fopen(av[1],"r");
l10:
  fgets(f2,60,fp1);
  if(feof(fp1)!=0)exit(0);
  if(f2[0]=='#')goto l10;
  printf("%3d:  \n",k++); fflush(stdout);
  strcpy(f1,"statsky ");
  strcat(f1,f2);
  system(f1);			
  strcpy(f1,"coord ");
  strcat(f1,f2);
  system(f1);
  goto l10;
}