function showTab(newTab)
{
	if (!window.selectedTab || window.selectedTab==newTab) return;
	document.getElementById(window.selectedTab+'-content').className='hidden';
	document.getElementById(window.selectedTab+'-title').className='tab hidden';
	document.getElementById(newTab+'-content').className='selected';
	document.getElementById(newTab+'-title').className='tab selected';
	window.selectedTab=newTab;
	re=/^(.*)#(.*)$/;
	arr=re.exec(location.href);
	if (arr) {
		location.href=arr[1]+'#'+newTab;
	} else {
		location.href=location.href+'#'+newTab;
	}
}