lex lex 1.2.25