strings.py

judge a string is part of a larger string