function ClearButtons() {
  with (document) for (var i = 0; i < links.length; i++) links[i].blur();
}