var oldtext
var newtext
var newlink
function shownewtext(thislink,thistext) {
  if (document.all) {
    newlink=eval("document.getElementById('"+thislink+"')")
    newtext=thistext
    oldtext=newlink.childNodes[0].nodeValue
    newlink.childNodes[0].nodeValue=thistext;
  }
}
function showoldtext() { 
  if (document.all) {
    newlink.childNodes[0].nodeValue=oldtext;
  }
}