Преобразование числа в двоичный с фиксированной длиной

Скажем, я получаю случайное число от 1 до 127. Я меняю номер на двоичный и 0b из него с помощью кода:

 key_one= int(raw_input("Enter key (0 <= key <= 127): ")) if key_one in range(128): bin_key_one=bin(key_one)[2:] print bin_key_one else: print "You have to enter key (0 <= key <= 127)" 

Теперь я хочу сделать его длиной 7 символов, заполнив начало нулями по мере необходимости. Я думаю, мне нужно использовать цикл for, но может ли кто-нибудь показать мне, как это сделать?

Python - лучший язык программирования в мире.