// JavaScript Document
<!--
function Activate(imgName) {
   if (document.images) 	{
		document[imgName].src = '' + imgName + 'b.gif'
		}
}
		
function deActivate(imgName) {
	if (document.images) 		{
		document[imgName].src = '' + imgName + 'a.gif';
      }
}
//-->