p [a=gets.size-1,b=$_.count("^12357")+$_.count(?8)].min+a+b