function trace(flag, label, value) {
   if (flag) {
      var msg = "";
      if (trace.caller) {
         var funcName = trace.caller.toString();
         funcName = funcName.substring(9, funcName.indexOf(")") + 1);
         msg += "In " + funcName + ": ";
      }
      msg += label + "=" + value + "\n";
      document.forms["ev_evaluator"].ev_output.value += msg;
   }
}
