#include int main(void) { int a; while(scanf("%d",&a)!=1) { scanf("%*[^0-9]"); } printf("%d\n",a); return 0;}
