function toggleLayer(whichLayer) {
	var element;
	for (var i = 1; i <= 3; ++i) {
		element = document.getElementById('portfolio' + parseInt(i));		
		element.className = (i == whichLayer ? 'portfolio_show' : 'portfolio_hide');
	}
}