In the Japanese anime cartoon "Marine Boy", what was the name of his mermaid friend?

"Marine Boy" was one of the first color anime cartoons to be shown in a dubbed form in the U.S., and later in Australia and the United Kingdom. It was originally produced in 1965 in Japan as "Undersea Boy Marine" ("Kaitei Shōnen Marin") by Minoru Adachi and animation company Japan Tele-Cartoons.

It was sold outside Japan via K. Fujita Associates Inc., with Warner Bros.-Seven Arts Television handling worldwide distribution of the English-language version. The series was distributed in syndication in the United States starting in 1966.

Marine Boy has a friend in Neptina, a young bare-chested mermaid who was always kept decent by her long flowing hair. Neptina wears a magic pearl around her neck, which could be used for various purposes including creating an envelope of protection and deterring dangerous animals, as well as working as a crystal ball to see events.