function change_zIndex(objName, intIndex) {
        var obj = document.getElementById(objName);
        if (obj) {
          obj.style.zIndex = intIndex;
        }
    }