arrAnchor = document.getElementsByTagName("a");
if (arrAnchor.length > 0) {
	for (i = 0; i < arrAnchor.length; i++) {
		if (arrAnchor[i].className == "external") {
			arrAnchor[i].target = "_blank";
		}
	}
}
if (document.getElementById("thumbs")) {
	document.getElementById("thumbs").style.display = "block";
}