document.getElementById("hotline").style.weight = "bold";