var thismenu = document.getElementById('Menu_' + pageID);
var thisleftimg = document.getElementById('MenuIMG_l_' + pageID);
var thisrightimg = document.getElementById('MenuIMG_r_' + pageID);
if (thismenu != undefined) {
thismenu.className = "menu_li_on";
thisleftimg.src = "images/menucorner_l_blue2.jpg";
thisrightimg.src = "images/menucorner_r_blue2.jpg";
}