为了用户使用和记忆都很方便，Internet引进了字符形式的IP地址，称为____。