CX713 had been the flight number for HKG-BKK-SIN for ages, but according to FlightAware the last CX713 service operated three months ago, having now been replaced by CX619. Perhaps they're tinkering with flight numbers again? CX717 is a new one too--I don't think that has ever existed, other than maybe a one-off flight here and there.