>>987
int i;
for (i = 0; i < 15 - 1; i++)
  fprintf(output2, "%d\t", bin[i]);
fprintf(output2, "%d\n", bin[i]);