// JavaScript Document
function MenuSelect(str) {
    pageName = str.toLowerCase()
	pageName_menu = pageName+"_"
    var onOption = document.getElementById("menu_" + pageName);
    onOption.className = pageName_menu;
}