 "King Herods Song" is actually a number from "King Richard", a  failed Andrew Lloyd Webber (qv) musical. Tim Rice (I) (qv) had  to write new lyrics for this number so that it could be added to  "Jesus Christ Superstar"; originally, the number was called "Those  Saladin Days".