function selectPage() {
	var elem;
	if (pageName == null) return;
	// Find the link for the current page
	elem = document.getElementById("lnk" + pageName);
	if (elem == null) return;
	// Add 'SelectedLink' css style to the link
	addClassName(elem, "SelectedLink");
}
function addClassName(elem, className) {
	if (elem == null || className == null) return;
	elem.className += (elem.className ? " " : "") + className;
}
function removeClassName(elem, className) {
	if (elem == null || className == null) return;
	elem.className = elem.className.replace(new RegExp("\\s*\\b" + className + "\\b", "g"), "");
}

selectPage();