17,500 is what you're entitled to.

The rules are the same whether you pay for your ticket in HKG, USD, or asiamiles + taxes. You flew a half-roundtrip in J (80,000 / 2) plus a half-roundtrip in Y (45,000 / 2) for 62,500 asiamiles, but you paid 80,000.