Froggy’s real name