Who played the elf called Patch in the film 'Santa Claus: The Movie'?

Michael J Fox

Danny DeVito

Bob Hoskins

Dudley Moore