ZZULIOJ-1065，统计数字字符的个数（Python）

题目描述：

输入一行字符，以回车符作为输入结束的标志。统计其中数字字符的个数。  

输入： 

多个字符，以回车符结束，回车符不作为有效字符。  

输出： 

输出一个整数，表示数字字符的个数。  

样例输入： 

12abrt12@2013 

样例输出： 

8 

程序代码： 

s=input()
num=0
for ch in s :
            if ch.isdigit() :
                        num+=1
print(num)