They use only javascript for the map.
On the right side of the map there are links that contain the following:
onmouseover="change_map(1);"
And the function defined in the line on the page:
function change_map(region) { var MapItem = document.getElementById("imageRegions"); var ListItem = document.getElementById("region_" + region); MapItem.style.backgroundImage = 'url(/images/region_' + region + '.gif)'; MapItem.style.backgroundPosition = '0px 0px'; MapItem.style.backgroundRepeat = 'no-repeat'; ListItem.style.color = "#D0630A"; return true; }
Areas of the map itself are implemented by image maps.
Armin source share