Update lexer1.py