The name of it is simply, "Mahan-Mahna." I've seen it spelled various ways, but it's one of the few songs to be performed on both "The Muppet Show" and "Sesame Street." You can find on on several Sesame Street CDs and the new Muppet Show 25th Anniversary CD. I think.
Hope that helps--welcome to the boards!
Quinnnnnnnnnnnnnnnn