mini.opera.com is an alias for download.opera-mini.net.
download.opera-mini.net has address 82.145.223.227