#include <stdio.h>
#include <stdlib.h>

typedef struct number
{
    int x;
    int y;
    int z;
    unsigned int final;
} number;

int main()
{
  number *numbers = malloc(sizeof(number));

  scanf("%d %d %d", &numbers->x, &numbers->y, &numbers->z);
  printf("input: %d,%d,%d\n",numbers->x, numbers->y, numbers->z);
  numbers->final=(numbers->x)*4000 + (numbers->y)*50 + (numbers->z);
  printf("final: %d\n",numbers->final);

  free(numbers);
  
  return 0;
}