how old is max from sharkboy and lavagirl