function dest() {
  c = "com"
  d = "ndspring."
  e = "11@mi"
  f = "panic4"
  return (f.concat(e.concat(d+c)))
}

function destwrap() {
  a = "lto:"
  b = "mai"
  return b + a.concat( dest() )
}
function JSRef(txtArg) {
  return( '<A HREF="' + destwrap() + '">' + txtArg + '</A>' )
}

function JSComm() {
  return ('[ ' + JSRef("Comment") + ' ] ')
}

function JSNotice() {
  return( '<P><B>Contact: ' + JSRef(dest()) + '</B></P>' )
}