红豆的别名。