Pretty sure it is a standard 6-ribbed K/PK profile belt.
Metric check 6PK995 or use that as a crossover to various brands. 6 = number of ribs, PK=rib style, 995=length (all the way around) in mm.
You can confirm the K/PK profile by measuring the ribs from peak-to-peak, should be 3.56mm.
[Edit] Also, note length is not an exact thing. You should have a bit of room for adjustment, so if you find one that is +/- 5mm from the stock original it will probably
be OK. If you find you are always out at the furthest adjustment end then go slightly shorter, if you can barely get the belt off even at minimum adjustment then go slightly longer - added because a 990 or 1000 may be easier to find.[/edit]