#include <stdio.h> int main() { char str[128]; scanf("%32[^0-9]s",str); printf("%s\n",str); return 0; }