def make_num(a,s,num_base=10):
    """
    Given a dictionary of symbol values with symbol as the key
    Given a string representing a number
    Given the number base

    Convert string in s to number using dictionary in a and num_base
    """
    n=0
    for i in s:
        n=num_base*n+a[i]
    return(n)