function show_dot(dotname, isshow, topx, lefty) {
  objdot = document.getElementById(dotname);
  objdot.style.visibility = isshow;
  objdot.style.position = "absolute";
  objdot.style.top = topx + "px";
  objdot.style.left = lefty + "px";
}