function highlight () {
    var a;
    var protocol = window.location.protocol;
    var path = window.location.pathname;
    // this is required because IE loading files locally uses "\" and not "/"
    var separator = (protocol == "file:" && path.indexOf("/", 1) == -1 ? "\\" :"/");
    var path = window.location.pathname;
    if (path[0] == separator) {
      path = path.substring(1,path.length);
    }
    var dot = path.indexOf(".");
    if (dot > 0) {
      path = path.substring(0,dot)
    }
    path = path.replace(separator,"_");

    a = document.getElementById(path);
    if (a) {
      a.className = "select_menu";
      //a.style.backgroundColor = "b4e6f0";
      //a.style.color = "0";
      //window.alert('done');
    }
}