800 estrellas en el primer catálogo de estrellas, titulado el "Gan Shi Xing Jing." En el 100 a.