005 numeric contains network, if it does $network will be filled from there, if not, mIRC looks the server from servers.ini and if found uses the group as $network.

IRCnet didn't suppot 005 in the past, don't know what the situation is today.