The town Farsund in the county of Vest-Agder, Norway, has 9,497 inhabitants as of January 1, 2002.