høyesterettsdommene is the masculine plural definite of høyesterettsdom.