阿宝在学习Python语言编程，他写了一个程序可以实现输入月份数字就可以输出2023年该月的天数。 程序如下：

monthdays=[0,31,28,31,30,31,30,31,31,30,31,30,31]
m=int(input())
print('2023年'+str(m)+'月有'+str(monthdays[m])+'天。')

要想得到2023年9月的天数，应该在终端输入的数字是？（　）