New whois servers and version 4.2.5