function bigmap(min,max) {
	var newidth;
	var map = document.getElementById("map");
	if (map.width > min) newidth = min;
	else newidth = max;
	map.width = newidth;
	}