#include<iostream.h>
#include<math.h>
#include<string.h>
int main()
{
    char s[30001];
    scanf("%s",s);
    int str_len=strlen(s),len=0,val=0,z=0,pre;
    for(int i=str_len-1;i>=0;i--,len++)
    {
        val+=s[i]-'0';
        if(val-len>0)
        {
            z=z+val-len;
            len+=val-len;
        }
    }    
    pre=abs(val-len);
    while(pre/7)
    {
        int p1=pre/7;
        for(int i=0;i<p1;i++) printf("7");
        pre=p1+pre%7;
    }       
    if(pre!=0&&pre!=1) printf("%d",pre);
    printf("%s",s);
    for(int i=0;i<z;i++)
        printf("0");
}