def raz(n):
    sum = 0
    for i in n:
        sum += int(i)
    return sum

from fnmatch import *
for x in range(700001, 10**12, 13):
    if fnmatch(str(x), '*0??3*') == False or fnmatch(str(x), '*4??2') == False or fnmatch(str(x), '*1*') == False:
        print(x, raz(str(x)))