7 when the morning stars sang together and all the heavenly beings shouted for joy?