// Highlight a map area
//
// base = actual map (eg. en, wa, sc = England, Wales, Scotland)
// name = area to highlight (eg. lakes = Lake District)
//
// Image filenames are eg. enmap_lakes.gif
// For no area highlighted, use eg. enmap_no_selection.gif

picsbase='/pics/largemaps/';

function changemap(base,name) {
	s=picsbase+base+'map_';
	if (name!='') { s+=name } else { s+='no_selection' }
	s+='.gif';
	document.destmap.src=s;
	}