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