function GotoNamedAnchor(anchor)
{
	var url = new String(location.href);
	if (-1 != url.indexOf("#"))
	{
		url = url.substring(0, url.indexOf("#"))
	}

	location.href = url + "#" + anchor;
}