var mapimgArr = new Array("maphor", "mapshop", "maprestaurant", "mapopenair");

function startOver(name)
{
	var elem = document.getElementById('map');
	elem.src = 'startimg/'+name+'.gif';
	return true;
}

function startOut()
{
	var elem = document.getElementById('map');
	elem.src = 'empty.gif';
	return true;
}

function startOutAll(mapid)
{
	for (var i = 0; i < mapimgArr.length; ++i)
	{
		var elem = document.getElementById(mapid);
		elem.style.visibility = 'hidden';
	}
}