function showNavi (name) {
  document.getElementById(name).style.fontWeight = "bold";
}