I remember seeing Tom Lehrer on The Frost Programm (or whatever it was called then) about 1970 singing what was at the time a topical song about the decimalisation of the pound. Do the lyrics survive anywhere? I haven't found them in my searches.