function OpenFloorSpaceWindow(url)
{
	window.open(url,'_blank','channelmode=yes, fullscreen=yes');
}
function SetBoldIfCurrentUrl(hrefUrl)
{
	if (hrefUrl)
		alert('url here');
	else
		alert('no url present');
return;
	var element = document.getElementById('a' + hrefUrl);
	if (element.href)
	{
		var elementHref = element.href;
		if (elementHref.match(location.pathname) != null)
		{
			element.style.fontWeight = "bold";
		}
	}
}