puts gets[/^1[3-5]*[2-4]$/]?:Yes: :No