function MouseOverOnMenuButton (id) {
  document.getElementById(id).style.border = "1px solid #000000";
}
function MouseOutOnMenuButton (id) {
  document.getElementById(id).style.border = "1px solid #DEDEDE";
}
function MouseOverOnThumbnail (n) {
  document.getElementById("picture_thumbnail_"+n).style.border = "1px solid #000000";
  
  tooltip = document.getElementById("label_tooltip");
  tooltip.style.visibility = "visible";
  tooltip.style.left = (243 + (35+8)*(  n-1)) + "px";
  tooltip.innerHTML = (LANGUAGE == "en") ? _thumbnail_names_en[ACTIVE_TOPIC][n] : _thumbnail_names_hu[ACTIVE_TOPIC][n];
}
function MouseOutOnThumbnail (n) {
  document.getElementById("picture_thumbnail_"+n).style.border = "1px solid #C2C2C2";

  tooltip = document.getElementById("label_tooltip");
  tooltip.style.visibility = "hidden";

}