mirror( $url, $target_name );