In the Windows registry: HKEY_LOCAL_MACHINE\SOFTWARE\DENNY\ACP\Align Stars

The first two entries are J2000 RA and DEC, but what are the last two entries? My guess is these have something to do with proper motion of the star.