#include<stdio.h>
int main(void){
int no;
scanf("%d",&no);
 printf("welcome: no=%d\n",no);
 return 0;
 }