15astrodometicketstubs