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

int main(int argc, char **argv) {

    FILE *f=fopen(argv[1], "r");
    char line[1000], name[35], *token;
    int max, min, n, diff;

    while(fgets(line, 1000,f))
    {
        token=strtok(line,":");
        strcpy(name,token);
        token=strtok(NULL, ",");
        max=atoi(token);
        min=atoi(token);
        while(token=strtok(NULL, ","))
        {
            n=atoi(token);
            if(n>max)
                max=n;
            if(n<min)
                min=n;
        }
        diff=max-min;
        printf("%s: %d\n", name,diff);

    }
    fclose(f);
    return 0;
}