Etymology Explorer › Old Javanese

Where does “[[kĕris]], [[kris]]” come from?