javascript tokenize in python