the following address can now be used to reach mirror www3 in addition to its regular ipv4 address: 2001:470:1f07:1029::41 if desired it can be added among the IPs that www.mplayerhq.hu resolves to.