function highlightRegion(regionID) {
	var regionMap = document.getElementById('regionMap')

	if (!regionMap) regionMap = parent.document.getElementById('regionMap') // Inside the iframe which contains the list of cities.

	regionMap.src = 'Files/HTML/Faelles/Kort/kort-dk'+(regionID ? '-'+regionID : '')+'.gif'
}