function switchTab( tab )
{
	if ( tab == currentTab ) return false;
	
	document.getElementById('tab' + tab).className = 'topnavactive';
	document.getElementById('tab' + currentTab).className = 'topnavinactive';
	
	document.getElementById('SuperSearch' + tab).className = 'active';
	document.getElementById('SuperSearch' + currentTab).className = 'inactive';

	currentTab = tab;

	return false;
}