function extractPageName(hrefString)
{
	var arr = hrefString.split('/');
	return  (arr.length<2) ? hrefString : arr[arr.length-2].toLowerCase() + arr[arr.length-1].toLowerCase();               
}

function setPage()
{
	hrefString = document.location.href ? document.location.href : document.location;	
	crtPage = extractPageName(hrefString)

	arrSubNav = document.getElementById("sub_menu").getElementsByTagName("a")
	for (var i=0; i<arrSubNav.length; i++)
	{
		if(extractPageName(arrSubNav[i].href) == crtPage)
		{
			if(arrSubNav[i].className == "menu") {
			arrSubNav[i].className = "current_hoofd";
			} else {
			arrSubNav[i].className = "current";
			}
		}
	}
}