#include<stdio.h>int main(){ char sex; int id; scanf("%c%d",&sex,&id); printf("%c%03d",sex,id); return 0;}