lava girls name from Adventures Shark boy and girl?

Lava Girl z filmu "Sharkboy and Lava Girl" se jmenuje Lava Girl .

Ve filmu jí není dáno konkrétní křestní jméno.