What is Saint-Gervais-les-Bains's population?

The population of Saint-Gervais-les-Bains is 5,742.