function toggleLayer_properties(whichLayer) {
	var element;
	for (var i = 1; i <= 3; ++i) {
		element = document.getElementById('property' + parseInt(i));		
		element.className = (i == whichLayer ? 'property_show' : 'property_hide');
	}
}