function switchR(k, flag) {
if (document.images) {
              var kk = "images/nd_menu_" + flag + ".png";
              document[k].src = kk;
 }
}