请问，如何将一个10进制数列表变成一个16进制数列表

问题相关代码，请勿粘贴截图

a = [9, 10, 11]

我想要达到的结果

# 用Python实现
# 不是str类型['0x09', '0x0A', '0x0B']。十六进制字母大写，补齐两位
b = [0x09, 0x0A, 0x0B]

a = [9, 10, 11,12,13,17,18]
b = []
for i in a:
    c = hex(i)
    end = c[2:]
    if len(end) == 1:
        end = '0' + end
    b.append('0x' + end.upper())
print(str(b).replace("'",''))