import string
encoding_table = string.ascii_letters
et_len = len(encoding_table)
def short_id(value:int) -> str:
t = []
while True:
result = value // et_len
remainder = value - (result * et_len)
value = result
t.append(encoding_table[remainder])
if value == 0:
break
return "".join(t[::-1])
short_id(9999999999)
'ApJKSp'