// change href to js enabled page. assume same path
function configureButtons() {
	var oElem = document.getElementById('Portfolio');
	if (oElem != null) {
		var iLastSlash = oElem.href.lastIndexOf("/");
		if (iLastSlash >= 0) {
			//oElem.href = "portfoliop.htm";
			oElem.href = oElem.href.substring(0, iLastSlash + 1) + "portfoliop.htm";
		}
	}					
}