the happy whip and dung song