extract.py for John