if (IE4) {allTHs=document.all.tags("TH");
for (i=0;i<allTHs.length;i++)
{tTH=allTHs(i); if(tTH.height=="12")
{tTH.onmouseover=tOv;tTH.onmouseout=tOt
}
}
function tOv(){this.style.color="navy";this.style.filter="glow(color=#ffef88)"}
function tOt(){this.style.color="navy";this.style.filter=""}
}