#include <stdio.h>

int main(){
      char a[20];
      int s,c,v,b,n;
      scanf("%s",&c);
      scanf("%d%d%d%d%d",&s,&c,&v,&b,&n);
      printf("name:%s",a);
      printf("roll num:%d",b);
      printf("marks:%d %d %d %d",c,v,b,n);
}