python让键盘输入的值为int