#include<stdio.h>
int main(){
    char name[101];
    int rollnumber;
    int marks[4];
    scanf("%[^\n]",name);
    scanf("%d", &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[1], marks[2], marks[3]);
    return 0;
}