function hover_navi(id)
{
  document.getElementById("DotIMG_" + id).src = "./images/dot_hover.jpg";
}

function dehover_navi(id)
{
  document.getElementById("DotIMG_" + id).src = "./images/dot.jpg";
}