The Devil is dead song