L S =INPUT :F()
M S ANY(12357) = :S(M)
 S 8 =99 :S(M)
 OUTPUT =SIZE(S) :(L)
END