function displayTab(n) {		// m total tabs, display tab n
	for (i=0; i<tabsIndex.length; i++) {
		ii=tabsIndex[i];
		tabObject=document.getElementById("tab"+ii);
		tabObject.style.background=(ii==n)?"#111111":"#333333";
		tabContent=document.getElementById("tabContent"+ii);
		tabContent.style.display=(ii==n)?'block':'none';
	}
}