Anyone know the name of the intro song for the funny cats trilogy?