2e41fa0ce09487627589f3164bd8b9ca25ccf94c  abbrev.pl