function changestyle (identifier) {
  if (document.getElementById(identifier).className == "") {
    document.getElementById(identifier).className = "active_hover";
  } else {
    document.getElementById(identifier).className = "";
  }
}