#include <bits/stdc++.h> using namespace std; int main() { string a; int i,j,k,m,n,f,t; while(cin>>a) { n=a.size(); char b[501][10]; long long d[500]; i=0; j=0; while(i<n) { if(a[i]!='5') { f=0; while(true) { b[j][f++]=a[i]; i++; if(a[i]=='5' or a[i]=='\0') { b[j][f]='\0'; j++; break; } } } i++; } n=j; i=0; while(i<n) { d[i]=atoi(b[i]); i++; } sort(d,d+n); i=0; while(i<n) { if(i==0) printf("%lld",d[i]); else printf(" %lld",d[i]); i++; } printf("\n"); } return 0; }