chars = '123456dfr\t\n7890v'

for c in chars:
	print('Yes') if c.isdigit() else print('No')