/* - tabs.js - */
function getTabNames(text,tab,siteTitle)
{

tab = document.title.replace(' — ' + siteTitle,'');

text = text.replace(/.\[./g,'<').replace(/.]./g,'>').replace(/&amp;/g,'&');
//document.write(text+ "<br>");
if (window.DOMParser)
  {
  parser=new DOMParser();
  xmlDoc=parser.parseFromString(text,"text/xml");
  }
else // Internet Explorer
  {
  xmlDoc=new ActiveXObject("Microsoft.XMLDOM");
  xmlDoc.async="false";
  xmlDoc.loadXML(text); 
  }   
  
  x=xmlDoc.documentElement.childNodes;

var gotIt = false;
//document.write(x.length +"<br>");
for (i=0;i<x.length;i++)
{	
	var tabs = new Array();

	a=x[i].getElementsByTagName('a');
	for (j=0;j<a.length;j++)
	{
		var t = new Array(2);
		t[0] = a[j].childNodes[0].nodeValue;
		
//document.write(t[0]+ "<br>");
t[1] = a[j].getAttribute('href');
		t[2] = (t[0] == tab)? "highlighted":"";
		tabs.push(t);
	

		if (t[0] == tab)
			gotIt = true;
	}
	
	if (gotIt)
		break;
}

if (gotIt)
	return tabs;

}