// JavaScript Document

function setSelected(tab) { // set class for current tab as selected.
newClass = "current";

identity=document.getElementById(tab);
identity.className=newClass;
}