BÉNI – a Benjámin régi magyar formájának rövidüléséből.