def extractToken(filename, token, numOfLines=2):
	""" Return a list of strings consist of numOfLines lines
	in filename that follow immediately after the first line
	that contains string token.
	"""
	file = open(filename, "r")
	lines = file.readlines()
	file.close()
	for aLine in lines:
		if aLine.find(token) != -1:
			return lines[lines.index(aLine)+1:lines.index(aLine)+1+numOfLines]
	return ""