hat frog (hatfrog)