Dum Ditty Dummm Dum-Dum

It's that James Bond theme song we all know and love. When you hear it, you know which spy it belongs to, but did you know it was originally written as part of a stage musical?: http://www.pri.org/stories/arts-entertainment/movies/composer-discusses-surprising-origin-of-james-bond-theme-song-11708.html