function setTab(tabId) {
	if (tabId == "article" || tabId == "contact") {
		tabId = "default";
	}
	$("#" + tabId).addClass("current");
}

function changeHeaderBackground() {
	$("#branding").addClass("brandingBackground" + Math.floor(Math.random() * 8));
}