Question: How many people are in the Royal Norwegian Navy?
Answer: 3,700 personnel