4200 : — , J2000 : — 25 : — 873 : 81.