#include <stdio.h>
int main()
{
    char name[40];
    int rollno,marks;
    scanf("%c",name);
    scanf("%d",rollno);
    scanf("%d/n %d/n %d/n %d",marks);
    {
       printf("name:%c",name);
       printf("rollno:%d",rollno);
       printf("marks:%d %d %d %d",marks);
    }
    return 0;
}