#include <stdio.h>

int main()
{
  int ret=1, value;

  FILE *input_file;

  input_file = fopen("count.txt", "r");

  while (ret != EOF) {
    ret = fscanf(input_file, "%d\n", &value);

    if (ret != EOF)
      printf("%d ", value*2);
  }

  printf("\n");

  fclose(input_file);

  return (0);
}