NAME
IdStar2Num
Get the internal number of a star from its id
USAGE
IdStar2Num [id_star]
PARAMETERS
id_star:
Is the id of the star, the first field in the starts.txt file
OPTIONS
None
RETURN
Return the internal number of the star
EXAMPLE
PutTxt [IdStar2Num 15]
Output
0