//特殊数据好坑爹啊- -
#include<bits/stdc++.h> using namespace std; int a[2010],n; char s[2010]; bool first; int main(){ while(scanf("%s",&s)!=EOF){ memset(a,0,sizeof(a)); n=0; first=false; int len=strlen(s),ans=0; for(int i=0;i<len;i++){ if(s[i]=='5' && !first)continue; if(s[i]=='5'){a[++n]=ans; ans=0; first=false;} else {ans=ans*10+(s[i]-'0'); first=true;} } if(ans)a[++n]=ans; sort(a+1,a+n+1); for(int i=1;i<n;i++)printf("%d ",a[i]); printf("%d ",a[n]); } return 0; }