-source=1259
-out.max=99999
-out=recno,TYC1,TYC2,TYC3,_RAJ,_DEJ
DE(ICRS)=89.95+/-0.06