function toggle() {
    if (xmode == 1) { thestroke = "blue"; xmode = 0; }
    else { thestroke = "red"; xmode = 1; }
    // alert("update");
    update();
    }
  function xstroke() { return thestroke; }