/* tabswitch changes between several divs designed as tabs. */
var prevObjID = "norwegian";
function tabswitch(objID) {
	if (prevObjID != "") {
		prevObject = document.getElementById(prevObjID);
		prevObject.style.display = "none";
	}
	var object = document.getElementById(objID);
	prevObjID = object.id;
	object.style.display = "block";
}