#include <stdio.h>

int main() {

char palavra[100];

scanf("%s",palavra);

double sa,v,t;

scanf("%lf %lf %lf",&t,&sa,&v);

t = sa + 0.15*v;

printf("TOTAL = R$ %.2lf",t);

return 0;
}