How to figure out the IPv6 addr from the IPv4 addr?