code: def get_public_ip(access_token, subscription_id, resource_group, ip_name):
      '''Get details about the named public ip address.
  
      Args:
          access_token (str): A valid Azure authentication token.
          subscription_id (str): Azure subscription id.
          resource_group (str): Azure resource group name.
          public_ip_name (str): Name of the public ip address resource.
  
      Returns:
          HTTP response. Public IP address JSON body.
      '''
      endpoint = ''.join([get_rm_endpoint(),
                          '/subscriptions/', subscription_id,
                          '/resourceGroups/', resource_group,
                          '/providers/Microsoft.Network/',
                          'publicIPAddresses/', ip_name,
                          '?api-version=', NETWORK_API])
      return do_get(endpoint, access_tokenf get_public_ip(access_token, subscription_id, resource_group, ip_name):
      '''Get details about the named public ip address.
  
      Args:
          access_token (str): A valid Azure authentication token.
          subscription_id (str): Azure subscription id.
          resource_group (str): Azure resource group name.
          public_ip_name (str): Name of the public ip address resource.
  
      Returns:
          HTTP response. Public IP address JSON body.
      '''
      endpoint = ''.join([get_rm_endpoint(),
                          '/subscriptions/', subscription_id,
                          '/resourceGroups/', resource_group,
                          '/providers/Microsoft.Network/',
                          'publicIPAddresses/', ip_name,
                          '?api-version=', NETWORK_API])
      return do_get(endpoint, access_token)
docs: Get details about the named public ip address.
  
      Args:
          access_token (str): A valid Azure authentication token.
          subscription_id (str): Azure subscription id.
          resource_group (str): Azure resource group name.
          public_ip_name (str): Name of the public ip address resource.
  
      Returns:
          HTTP response. Public IP address JSON body.