ડેવોસ કાયમી વસ્તી બાર હજાર છે.