document.getElementById("top").innerHTML = newHTML;
document.getElementById("contact").className = "highlight";
document.getElementById("about").setAttribute("class", "highlight");
.className = "highlight";.setAttribute("class", "highlight");
原文：http://www.cnblogs.com/jayruan/p/5170593.html