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