ex12.py added pydoc mention