function setMenuItem(item) {
  var fr = parent.window.frames["header"];
  if (fr != null) {
    var it = fr.document.getElementById(item);
    if (it != null) {
      it.className = "ma";
    }
  }
}

function mover(obj) {
    var o = document.getElementById(obj);
  if (o != null) {
        o.style.textDecoration = "underline";
    }
}

function mout(obj) {
    var o = document.getElementById(obj);
  if (o != null) {
        o.style.textDecoration = "none";
    }
}