if (location.href == 'http://' + location.hostname + '/') { var div = document.getElementById("pun-main").getElementsByTagName("div"); for (j in d) { for (i in div) { if ((div[i].className == "category") && (div[i].childNodes[0].innerHTML.indexOf(d[j][0]) != -1)) div[i].childNodes[0].innerHTML = "" + d[j][1] + "  " + d[j][0] + ""; }}}