TIME crunches the merry numbers behind the most popular Christmas songs of the modern era. The names Joseph Mohr and Franz Xaver Gruber have largely vanished into the annals of Christmas tormentors, but their greatest triumph lives on.