function toggleLayer(whichLayer) {
	var element;
	for (var i = 1; i <= 5; ++i) {
		element = document.getElementById('info' + parseInt(i));		
		element.className = (i == whichLayer ? 'info_show' : 'info_hide');
	}
}