function getElements(val,container)
{
	container = container||document;
	var all = container.all||container.getElementsByTagName('*');
	
	var arr = [];
	for(var k=0;k<all.length;k++)
	{
		if(all[k]&&(all[k].getAttribute('className') == val || all[k].getAttribute('class') == val))
		{
			arr[arr.length] = all[k];
		}
	}
	return arr;
}

function selectNav(page)
{
    var navElements = getElements('deselected');
    for(i=0;i<navElements.length;i++)
    {
        var text = navElements[i].innerHTML;
        if(text!=null&&text.indexOf(page)>=0)
        {
        	navElements[i].className='current';
        }
    }
}