在JavaScript中编写一个程序： isStart 变量，用于控制是否开始计时，为true时，开始计时，否则暂停计时; 计时显示时间 00:00:00 对应的三个变量分别为 c : b : a； 计时显示效果为：a 满 60 向 b 进 1，b 满 60 向 c 进 1。且 a 变量每秒递增 60 次； 创建函数 changeTime ，用于实现txtBtn的鼠标点击事件，控制计时功能的开始与暂停； 点击“开始”按钮时，开始计时；同时将“开始”变为“暂停”； 点击“暂停”按钮时，暂停计时；同时将“暂停”变为“开始”。

下面是一个简单实现上述功能的 JavaScript 代码：

var isStart = false;
var a = 0, b = 0, c = 0;
var timer;

function changeTime() {
  var btn = document.getElementById("txtBtn");
  if (!isStart) {
    isStart = true;
    btn.innerHTML = "暂停";
    timer = setInterval(function() {
      a++;
      if (a == 60) {
        a = 0;
        b++;
      }
      if (b == 60) {
        b = 0;
        c++;
      }
      document.getElementById("timer").innerHTML = formatTime(c) + ":" + formatTime(b) + ":" + formatTime(a);
    }, 1000);
  } else {
    isStart = false;
    btn.innerHTML = "开始";
    clearInterval(timer);
  }
}

function formatTime(t) {
  return t < 10 ? "0" + t : t;
}

在 HTML 中，需要有一个按钮元素和一个用于显示计时的元素，例如：

<button id="txtBtn" onclick="changeTime()">开始</button>
<div id="timer">00:00:00</div>

点击按钮后，将触发 `changeTime()` 函数，根据 `isStart` 变量的值来控制计时的开始和暂停。计时器每秒钟更新一次，更新时检查时间变量的值是否达到了上限（例如 a 变量到达 60 后需要进位），并将更新后的时间显示在计时元素中。函数 `formatTime()` 用于将时间值格式化为两位数字。