endPageText = new Array();
function addEndPageText(text)
{
	endPageText.push(text);
}

function writeEndPageText()
{
	for(i in endPageText)
	{
		var text=endPageText[i];
		document.write(text);
	}
}


function switch_tab(active, name,  tabsList)
{
	for (var i=0;i<tabsList.length; i++)
	{
		var key = tabsList[i];
		var div = document.getElementById('tabcontents_'+name+'_'+key);
		div.style.display = (active==key)?'':'none';
		var tabdiv = document.getElementById('tab_'+name+'_'+key);
		tabdiv.className = (active==key)?'tab_active':'tab_inactive';
	}
}