火星数字

def solve(s):
    low = ["tret","jan","feb","mar","apr","may","jun","jly","aug","sep","oct","nov","dec"]
    high = ["","tam","hel","maa","huh","tou","kes","hei","elo","syy","lok","mer","jou"]
    s = str(s).strip()
    if s.isdigit():
        n = int(s)
        if n < 13:
            print(low[n])
        elif n % 13 == 0:
            print(high[n // 13])
        else:
            print(high[n // 13] + " " + low[n % 13])
    else:
        parts = s.split()
        if len(parts) == 1:
            w = parts[0]
            if w in high:
                print(high.index(w) * 13)
            else:
                print(low.index(w))
        else:
            h_val = high.index(parts[0]) * 13
            l_val = low.index(parts[1])
            print(h_val + l_val)