#include<stdio.h>
int main(){
    char name;
    int rollno;
    int marks;
    fgets(name,sizeof(name),stdin);
    scanf("Rollno: %d",&rollno);
    scanf("Marks: %d",&marks);
    printf("%s",name);
    printf("%d",rollno);
    printf("%d %d %d %d",marks);
}