PanLinx: saving of time

English	eng-000
saving of time

русский	rus-000	выигрыш во времени
русский	rus-000	экономия времени

PanLex-PanLinx