happy-shiny jolly Christmas song

We're still selecting happy-jolly tunes but we've some from hi5 and Johnny Mathis and others which are good: kids songs with singing .... I was up till 5am on Monday grepping youtube.
I'm looking for a very happy-shiny jolly Christmas song.
Alvin and the Chipmunks are not jolly enough.
 Looney Tunes are not jolly enough!

TODO: links
http://www.youtube.com/my_playlists?pi=7&ps=20&sf=&sa=0&sq=&dm=0&p=41D83C5287331CCB
http://www.youtube.com/my_playlists?pi=7&ps=20&sf=&sa=0&sq=&dm=0&p=D531FB80CBB0916E
Some possibilities: Boney M, Hi5, Johnny Mathis, The Supremes, Michael Jackson, Slade, The Wiggles, Claymation

This is what it is for: http://www.milltheatre.com/shows/seasons-greetings
Season's Greetings by playwright Alan Ayckbourn.   (in Dundrum on 24-28 Nov)
Glencullen Musical and Dramatic Society.
Season's Greetings is a black, though often farcical comedy about a dysfunctional family Christmas, set over Christmas Eve, Christmas Day and St Stephen's Day in an average suburban house.
And incidentally on the odd musical note, my brother is releasing a single:
 http://www.youtube.com/watch?v=HQPh7SBUoec
 http://music.bcoleman.com/

collecting sounds for theatre, ffmpeg converting, howto ffmpeg + amr

I'm collecting sounds for the theatre people. Need a cassette tape screech sound, doorbell, jolly Christmas song. It's jolly difficult to find jolly christmas songs jollily sung! :) We don't have

This is for the play Season's Greetings.
 http://www.milltheatre.com/shows/seasons-greetings
 http://www.facebook.com/group.php?gid=6065036825

 http://en.wikipedia.org/wiki/Season%27s_Greetings_(play)
 http://seasonsgreetings.alanayckbourn.net/


I'm recording sounds with my mobile phone (Nokia E65). Converting sounds and vids with ffmpeg.

Ubuntu jaunty default ffmpeg kindof did amr to wav or ogg. But didn't mostly. I first tried ffmpeg source + older amr codecs with licencing problems. Found ffmpeg now uses libopencore. AND actually also I have the older amr codecs installed already as ubuntu packages  anyway. Anyway fresh built ffmpeg converts all amr ro wav or ogg.

So 15/Nov/2009 how to get ffmpeg working a bit better with amr format:

http://opencore-amr.sourceforge.net/
  tar -zxvf opencore-amr-0.1.2.tar.gz
  cd opencore-amr-0.1.2/
  less README
  ./configure --prefix=/usr/local
  make
  sudo make install

  cd ../
  svn checkout svn://svn.mplayerhq.hu/ffmpeg/trunk ffmpeg-svn
  cd ffmpeg-svn
  ./configure --prefix=/usr/local --enable-gpl --enable-pthreads --enable-version3  --enable-libopencore-amrnb --enable-libopencore-amrwb
  make
  sudo make install


  # if you install in /usr/local you'll need to set the LIBRARY path:
  export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:/usr/local/lib

  # This converts all .amr files in dir to .ogg (and doesn't do it if already done)
  for F in *.amr ; do
    echo F=$F;
    N=${F%%.amr};
    if [[ ! -e $N.ogg ]] ; then
      ffmpeg-amr -i "$F" "$N.ogg";
    fi;
  done

Songs of the 80s.
http://www.afn.org/~afn30091/


Also. VLC crashes if try to do things  with playlist?
Individual VLCs are fine open and playing together which is  what is wanted.