別名：赤まんま。幼い日、この名前で呼んでいた方が多いのでは。