Variant of <a href="details.php?no=&n=IRMA">IRMA</a>. It began to be used in the English-speaking world in the 19th century, along with Irma.