input: def string_contains_number(s: str) -> bool:
      """ Check if the given string contains any numbers.
      >>> string_contains_number("Hello123")
      True
      >>> string_contains_number("World")
      False
      """
output:     for char in s:
          if char.isdigit():
              return True
      return False