#include<stdio.h>
int main()
{
    char a[20];
    fgets(a,sizeof(a),stdin);
    int roll;
    scanf("%d",&roll);
    int m1,m2,m3,m4;
    scanf("%d%d%d%d",&m1,&m2,&m3,&m4);
    printf("Name:%c\nRoll no:%d\nMarks:%d %d %d %d",a,roll,m1,m2,m3,m4);
}