the day the devil died hallelujah anyhow