YouTube - Pinball Number Count

One two three four five six seven eight nine ten eleven twelve! Wow, this trippy hypnotic sequence from 80’s sesame street is lodged solidly in my early childhood memories. Have people plundered this song for samples?