function ResizeImageMap(mapId) {
    var amount = parseFloat(bodyfontsize) / 70; //bodyfontsize is defined in fontResizer.js
    // resize image map
    var map = $get(mapId);
    for (var i = 0; i < map.areas.length; i++) {
        var area = map.areas[i];
        var coords = area.coords.split(',');
        var coordsStr = '';
        for (var j = 0; j < coords.length; j++) {
            coords[j] = coords[j] * amount;
            if (coordsStr.length == 0) {
                coordsStr = coords[j];
            }
            else {
                coordsStr = coordsStr + ',' + coords[j];
            }
        }
        area.coords = coordsStr;
    }
}