#include <stdio.h>

v(char*s){int v=0,c;while(c=*s++)v+=v+c-48;return v;}
    
int main(void) {
	// your code goes here
	char s[100];
	scanf("%s", s);
	printf("%s %d",s,v(s));
	return 0;
}