#include <stdio.h>
#include <stdlib.h>
#include <string.h>
int is_same_digits(int *arr1, int *arr2) {
int arr_d_1[10]={0};
int arr_d_2[10]={0};
int d1=0,d2=0;
int i;
int v1,v2;
for (i=0;i<21;i++){
v1 = arr1[i];
v2 = arr2[i];
if (v1!=0){d1=1;}
if (v2!=0){d2=1;}
if (d1==1){arr_d_1[v1] = arr_d_1[v1]+1;}
if (d2==1){arr_d_2[v2] = arr_d_2[v2]+1;}
}
// printf("arr_d_1=");
// for (i=0;i<10;i++){
// printf("%d",arr_d_1[i]);
// }
// printf("\n");
// printf("arr_d_2=");
// for (i=0;i<10;i++){
// printf("%d",arr_d_2[i]);
// }
// printf("\n");
for (i=0;i<10;i++){
if (arr_d_1[i]!=arr_d_2[i]){return 0;}
}
return 1;
}
int main() {
char str[21]; // 20 位数字 + 换行符 + 结尾符
int n1[21]={0};
int i;
int j=20;
int res;
//fgets(str, 22, stdin);
res = scanf("%s",str);
if (res==EOF){printf("input str wrong");}
for (i = 19; i >=0; i--) {
n1[i+1] = 0;
char c = str[i];
sscanf(&str[i], "%1d", &n1[j]); // 将字符串中的一个字符转换为整数
//printf("i=%d j=%d v=%c\n",i,j,str[i]);
if (c >= '0' && c <= '9'){j=j-1;}
}
// printf("n1=");
// for (i=0;i<21;i++){
// printf("%d",n1[i]);
// }
// printf("\n");
int n2[21];
// 根据数组计算n2的值
int j1=0,j2=0;
int m1,m2;
for (i=20;i>=0;i--){
j1=n1[i];
m1 = j1*2;
m2 = m1%10;
n2[i] = j2+m2;
j2 = m1/10;
}
// printf("n2=");
// for (i=0;i<21;i++){
// printf("%d",n2[i]);
// }
// printf("\n");
//printf("%lld %lld\n",n1,n2);
if (is_same_digits(n1, n2)) {
//printf("%lld and %lld have the same digits.\n", n1, n2);
printf("Yes\n");
int s=0;
for (i=0;i<=20;i++){
if (n2[i]!=0){
s = 1;}
if (s==1){printf("%d",n2[i]);}
}
printf("\n");
} else {
//printf("%lld and %lld don't have the same digits.\n", n1, n2);
printf("No\n");
int s=0;
for (i=0;i<=20;i++){
if (n2[i]!=0){
s = 1;}
if (s==1){printf("%d",n2[i]);}
}
printf("\n");
}
return 0;
}