function selectTab(tab)
{
	for (var i=document.getElementById("menu").firstChild.childNodes.length-1; i>=0; --i)
	{
	  document.getElementById('menu').firstChild.childNodes[i].className='unselected';
	}
	tab.className = 'selected';
}