new file:   invertedfileindex.py