mini frog (minifrog)