#include"stdio.h"void main(){ char c; while((c=getchar())!='\n') { if(c<='9'&&c>='0') printf("%c",c); } printf("\n");}
