puts gets[/^(1|[67]*[78])[3-5]*[2-4]$/]?:Yes: :No