on col (val, len)
    str = string(val)
    repeat with i = str.length+1 to len
        put " " after str
    end repeat
    return str
end