input: def str_to_lower(string: str) -> str:
      """
      Convert a given string to its lowercase version.
  
      >>> str_to_lower("Hello WORLD!")
      'hello world!'
      >>> str_to_lower("Python3.7")
      'python3.7'
      """
output:     return string.lower()