How many receiving touchdowns did Yancey Thigpen, Andre Hastings, and Ernie Mills have combined?
return receiving touchdowns ;return #1 of Yancey Thigpen ;return #1 of Andre Hastings ;return #1 of Ernie Mills ;return number of  #2 ;return number of  #3 ;return number of  #4 ;return sum of #5 and  #6 and #7
['select', 'filter', 'filter', 'filter', 'aggregate', 'aggregate', 'aggregate', 'arithmetic']