// JavaScript Document

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

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

tabidentity=document.getElementById(tab);
tabidentity.className=tabClass;
}