#include <cstdio>

int main(void)
{
    char name[9][20];
    int am, pm;
    int money[9];
    
    for (int i = 0; i < 9; i++){
        scanf("%s %d %d", name[i], &am, &pm);
        money[i] = (am * 200) + (pm * 300);
    }
    
    for (int i = 0; i < 9; i++){
        printf("%s %d\n", name[i], money[i]);
    }
    
    return (0);
}