Music : The real name of the "Peanuts" theme song