#include<stdio.h>
int main(){
    char name[101];
    int rollNumber;
    int marks[4];
    scanf("[^\n]", name);
    scanf("%d\n", &rollNumber);
    for(int i=0; i<4; i++){
        scanf("%d", &marks[i]);
    }
    printf("Name: %s\n", name);
    printf("Roll Number: %d\n", rollNumber);
    printf("Marks: %d %d %d %d\n",marks[0],marks[1], marks[2], marks[3]);
    return 0;
}