The records show the name as Agara, Agira, Agra in the 9th century, Egire, Egra or Ogra in the 11th century and Eger in 1472.
9世纪记录中有Agara、Agira、Agra等名，11世纪有Egire、Egra、Ogra等名，1472年记录中则为Eger。