#include<stdio.h>
int main()
{
	char str[100];
	int i;
	for(i=0;str[i]=!'\0';i++)
	str[i]=getchar();
	for(i=0;str[i]=!'\0';i++)
	{
	   if(str[i]>10)
	        putchar()=str[i];
	}
}