function grab(object)
{	// object = id of object to be manipulated
	if(document.getElementById) obj = document.getElementById(object); // method for newer, DOM-compatable browsers
	else if(document.all) obj = document.all[obj]; // method for older versions of IE
	else if(document.layers) obj = document.layers[obj]; // method for older versions of Netscape
	return(obj);
}

function getStyle(object)
{	if(document.getElementById || document.all) style = object.style;
	else if(document.layers) style = object;
	return(style);
}

function activateimg(whichimg)
{	var imgsrc = new String(document.getElementById(whichimg).src);
	imgsrc = imgsrc.replace(new RegExp('-off\.','g'),'-on\.');
	document.getElementById(whichimg).src = imgsrc;
}

function deactivateimg(whichimg)
{	var imgsrc = new String(document.getElementById(whichimg).src);
	imgsrc = imgsrc.replace(new RegExp('-on\.','g'),'-off\.');
	document.getElementById(whichimg).src = imgsrc;
}

function activateThumb(object)
{	obj = getStyle(grab(object));
	obj.border = "1px solid #6A6869";
}

function deactivateThumb(object)
{	obj = getStyle(grab(object));
	obj.border = "1px solid #DCD6D6";
}