høyesterettsdommerne is the masculine plural definite of høyesterettsdommer.