How to write traditional Chinese characters for meteors and stars?

These two words have no traditional Chinese characters. However, if translated into Martian, it will be written by Gao.

If it is converted into non-mainstream traditional Chinese characters, it is the website of the traditional Chinese character converter:/tool.php.