lava girls name from Adventures Shark boy and girl?

The Lava Girl from the movie "Sharkboy and Lava Girl" is named Lava Girl.

There isn't a specific first name given to her in the film.