function hideAll() {		
	document.getElementById('about').style.display = 'none';
	document.getElementById('portfolio').style.display ='none';	
	document.getElementById('contact').style.display = 'none';		
} //hideAll

function show(id) {
	hideAll();
	document.getElementById(id).style.display = 'block';
} //show