def GetUserDomain(user_email):
  """Retrieve the domain of a user from an email address.

  Args:
    user_email: String email address of the form user@domain.com.

  Returns:
    String domain of the user.
  """
  return user_email.split('@')[1]