One tune collection with a tune named
The Policeman’s Holiday

Also known as The Policeman’s Holyday, The Polisman’s Holiday.