#include <stdio.h>
int main(){
    char name[100];
    int roll;
    int marks[4];
    
    fgets(name,sizeof(name),stdin);
    for(int i=0; name[i]1='\0';i++){
        if(name[i]=='\n'){
            name[i]='\0';
            break;
        }
    }
    
    scanf("%d",&roll);
    for(int i=0;i<4;i++){
        scanf("%d",&marks[i]);
    }
    printf("name:%s\n",name);
    printf("roll no:%d\n",roll;);
    for(int i=0;i<4;i++){
        printf("marks %d:%d\n",i+1,marks[i]);
    }
    return 0;
}