var isNS = navigator.appName.indexOf("Netscape")  != -1
var isIE = navigator.appName.indexOf("Microsoft") != -1
function showText(t) {
  if (isNS) document.layers["fader"].value= t;
  if (isIE) document.all.fader.value= t;
  show();
}
function hideAll() {
  if (isNS) document.layers["fader"].value= "";
  if (isIE) document.all.fader.value= "";
  hide();
}

