function highlightElement (element)
{

 element.className=element.className+"-highlight";
    return true;
}

function unhighlightElement (element)
{
 element.className=element.className.replace("-highlight","");
 return true;
}

function makeActive (element)
{
var id=document.getElementById(element);
id.src=id.src.replace(".jpg","-active.jpg");
}

function makeUnactive (element)
{
id=document.getElementById(element);
id.src=id.src.replace("-active.jpg",".jpg");
}