二进制数转十六进制数，可以先采用“按权展开，逐项相加”法，把二进制转十进制；再采用“除16求余法，逆序输出”的方法，把十进制数转为十六进制数。请完善以下Python程序代码。

st = "0123456789ABCDEF"
num = input("请输入一个二进制整数:")
n = ①
s = 0
ss = ""
for i in range(n):
    x = ②
    s += x
t = s
while t > 0:
    ss = ③
    t = ④
print(ss)