It was probably that called Hanskin or Half Hannakin in the late 16th and early 17th century and Prinkum Prankum in the later 17th century. The oldest verses I've seen, which describe the dance, were given in the 19th century by Robert Chambers (Hankum Booby), later to be followed by the titles Lubin or Looby Loo and the modern Hokey Pokey.